Rich Model Toolkit Rich Model Toolkit
  • Tools
    • Site Tools
    • Recent Changes
    • Media Manager
    • Sitemap
    • Page Tools
    • Show pagesource
    • Old revisions
    • Backlinks
    • Back to top
  • Log In
  1. Trace
  2. ntscomp_ntslib
  3. avm2010
  4. rml
  5. lat
  6. svcomp
  7. test2

test2

  • Show pagesource
  • Old revisions
  • Backlinks

Test latex:

bool $x$ = read(); bool $y$ = read(); if ($x$ and $y$) $z$ = 17; else $z$ = 8; if ($x$) $z$ = 2 * $z$; else $z$ = 0;

End

  • test2.txt
  • Last modified: 2016/07/14 11:42
  • by sysadmin