complete the path feasible code and invalid all if statements in all …

…paths

.gitignore

@@ -12,6 +12,5 @@ contractSpider/contractCodeGetter/data/*.json
 contractExtractor/securityAbandonerAndInjector/integerOverflow/dataset/*.sol
 contractExtractor/securityAbandonerAndInjector/integerOverflow/dataset/*.txt
 contractExtractor/securityAbandonerAndInjector/integerOverflow/manualCheck/*.solcontractExtractor/securityAbandonerAndInjector/integerOverflow/manualCheck/*.txt*.sol
-*.json
 *.ast
 sourceCodeDate.zip

src/securityAbandonerAndInjector/reentrancy/ever_true.json

@@ -0,0 +1,23 @@
+{
+	"exertrueExpressions" :
+	[
+		"((32 + 24) * 13 - 32 * 13 - 24 * 13) == 0",
+		"3774 / 37 * (65 + 35) == 10200",
+		"(308 - 308 / 28) * 11 != 20021",
+		"10200 % 35 != 14",
+		"(5 % 4) && (3 - 2)",
+		"(true || false) && (true) == true",
+		"(11 + 22) / 33 + 3 * 4 != 123",
+		"(((false && true) || (1 - 1) || (true || false)) && ((1 + 1) && (3333 - 333))) == ((true) || (true))",
+		"125 * (17 * 8) * 4 == 68000",
+		"25 * 16 * 125 == 50000",
+		"75000 / 125 / 15 == 40",
+		"13 * 99 == 1287",
+		"5600 / (25 * 7) + 1 == 33",
+		"56000 / (14000 / 16) != 63",
+		"(210 / 42 * 6 + 11 - 13) == 28",
+		"(7900 / 4 / 25) == 79",
+		"27000 / 125 == 216",
+		"(150 * 40 / 50) % 119 == 1"
+	]
+}