source: CIVL/examples/bugs/sqrt.cvl@ ef04a5c

2.0 acw/focus-triggers main
Last change on this file since ef04a5c was a78dd2e, checked in by Stephen Siegel <siegel@…>, 11 days ago

Further work on complex numbers; now $input works for complexes.
Introducing a "bugs" directory for examples that reveal bugs in CIVL.
  • Property mode set to 100644
File size: 97 bytes
Line 
1#include <math.h>
2$input double x;
3
4int main(void) {
5 $assert(sqrt(x*x) == x); // should fail
6}
Note: See TracBrowser for help on using the repository browser.