source: CIVL/examples/omp/div0.cvl@ d0fabe7f

1.23 2.0 main test-branch
Last change on this file since d0fabe7f was 52469be, checked in by Stephen Siegel <siegel@…>, 12 years ago

Fixed bug dealing with run (random simulation) when an error is encountered. Player would stutter forever at the erroneous state. Problem was the path condition was not getting set to "false". Fixed this by explicitly setting it to false in the CommonStateManager when an UnsatisfiablePathConditionException is caught.

git-svn-id: ​svn://vsl.cis.udel.edu/civl/trunk@1580 fb995dde-84ed-4084-dfe6-e5aef3e2452c
  • Property mode set to 100644
File size: 32 bytes
Line 
1
2void main() {
3 int x = 1/0;
4}
Note: See TracBrowser for help on using the repository browser.