Commit 34a679a9 authored by Mathias Preiner's avatar Mathias Preiner
Browse files

Squashed commit of the following:

commit 45c46aa0
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Thu Feb 18 10:10:00 2021 -0800

    Update README.md.

commit fc2d3890
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Tue Feb 16 12:33:29 2021 -0800

    Add missing (exit) command.
parent 1eb3f980
......@@ -85,3 +85,4 @@ Publications: "A symbolic execution framework for JavaScript" by P. Saxena, D. A
(assert T_19)
(check-sat)
(exit)
......@@ -494,3 +494,4 @@ Publications: "A symbolic execution framework for JavaScript" by P. Saxena, D. A
(assert T_32)
(check-sat)
(exit)
......@@ -494,3 +494,4 @@ Publications: "A symbolic execution framework for JavaScript" by P. Saxena, D. A
(assert T_32)
(check-sat)
(exit)
......@@ -493,3 +493,4 @@ Publications: "A symbolic execution framework for JavaScript" by P. Saxena, D. A
(assert T_3d)
(check-sat)
(exit)
......@@ -480,3 +480,4 @@ Publications: "A symbolic execution framework for JavaScript" by P. Saxena, D. A
(assert T_30)
(check-sat)
(exit)
......@@ -438,3 +438,4 @@ Publications: "A symbolic execution framework for JavaScript" by P. Saxena, D. A
(assert T_32)
(check-sat)
(exit)
......@@ -438,3 +438,4 @@ Publications: "A symbolic execution framework for JavaScript" by P. Saxena, D. A
(assert T_32)
(check-sat)
(exit)
......@@ -438,3 +438,4 @@ Publications: "A symbolic execution framework for JavaScript" by P. Saxena, D. A
(assert T_32)
(check-sat)
(exit)
......@@ -425,3 +425,4 @@ Publications: "A symbolic execution framework for JavaScript" by P. Saxena, D. A
(assert T_25)
(check-sat)
(exit)
......@@ -425,3 +425,4 @@ Publications: "A symbolic execution framework for JavaScript" by P. Saxena, D. A
(assert T_25)
(check-sat)
(exit)
......@@ -425,3 +425,4 @@ Publications: "A symbolic execution framework for JavaScript" by P. Saxena, D. A
(assert T_25)
(check-sat)
(exit)
......@@ -424,3 +424,4 @@ Publications: "A symbolic execution framework for JavaScript" by P. Saxena, D. A
(assert T_30)
(check-sat)
(exit)
......@@ -424,3 +424,4 @@ Publications: "A symbolic execution framework for JavaScript" by P. Saxena, D. A
(assert T_30)
(check-sat)
(exit)
......@@ -369,3 +369,4 @@ Publications: "A symbolic execution framework for JavaScript" by P. Saxena, D. A
(assert T_25)
(check-sat)
(exit)
......@@ -369,3 +369,4 @@ Publications: "A symbolic execution framework for JavaScript" by P. Saxena, D. A
(assert T_25)
(check-sat)
(exit)
......@@ -1556,3 +1556,4 @@ Publications: "A symbolic execution framework for JavaScript" by P. Saxena, D. A
(assert T_10d)
(check-sat)
(exit)
......@@ -356,3 +356,4 @@ Publications: "A symbolic execution framework for JavaScript" by P. Saxena, D. A
(assert T_18)
(check-sat)
(exit)
......@@ -356,3 +356,4 @@ Publications: "A symbolic execution framework for JavaScript" by P. Saxena, D. A
(assert T_18)
(check-sat)
(exit)
......@@ -355,3 +355,4 @@ Publications: "A symbolic execution framework for JavaScript" by P. Saxena, D. A
(assert T_23)
(check-sat)
(exit)
......@@ -355,3 +355,4 @@ Publications: "A symbolic execution framework for JavaScript" by P. Saxena, D. A
(assert T_23)
(check-sat)
(exit)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment