1.23
2.0
main
test-branch
|
Last change
on this file since afc300c was 11c421c, checked in by Stephen Siegel <siegel@…>, 10 years ago |
|
Made changes to CIVL as necessary to reflect the changes to SARL involving the simplification of the representation of symbolic expressions involving ADD and MULTIPLY operators. The changes mainly affect the printing and stringification of symbolic expressions. I changed just enough to get things to compile, but the code is not yet correct. Left TODOs where I know more work has to be done.
git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@3005 fb995dde-84ed-4084-dfe6-e5aef3e2452c
|
-
Property mode
set to
100644
|
|
File size:
149 bytes
|
| Line | |
|---|
| 1 | #include <civlc.cvh>
|
|---|
| 2 |
|
|---|
| 3 | $input double x,y,z,w;
|
|---|
| 4 |
|
|---|
| 5 | int main() {
|
|---|
| 6 | $assume(0==x*y-z*w);
|
|---|
| 7 | $assume(0==z);
|
|---|
| 8 | $assume(0!=x);
|
|---|
| 9 | $assume(0!=y);
|
|---|
| 10 | $assert(0);
|
|---|
| 11 | }
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
