source: CIVL/examples/arithmetic/division.cvl@ 9705dfd

1.23 2.0 main test-branch
Last change on this file since 9705dfd was 06b8536c, checked in by Stephen Siegel <siegel@…>, 13 years ago

Starting to clean up examples, but adding some extra versions of matmat as bug have been revealed.
Optimized somewhat evaluation of conditional (if then else) expressions, though I now feel this construct should be translated away.
Added a method to get the canonic ID of a state, minor changes.

git-svn-id: ​svn://vsl.cis.udel.edu/civl/trunk@257 fb995dde-84ed-4084-dfe6-e5aef3e2452c
  • Property mode set to 100644
File size: 194 bytes
RevLine 
[06b8536c]1/* division.cvl: simple real division, whose correctness
2 * depends on real arithmetic.
3 */
4$input double x;
5$input double y;
6$assume y!=0;
[95a2a9e]7
8void main() {
[06b8536c]9 double z = x/y;
[95a2a9e]10
[06b8536c]11 $assert y*z==x;
[95a2a9e]12}
Note: See TracBrowser for help on using the repository browser.