IOTasks - Demo
Documentation
Test.IOTasks
Test.IOTasks.Random
GitHub
Examples
Basic setup
No loops
+
Greeter
Palindrome
Simple loops
-
Sum
Sum, with optional output
Product (potential for overflows)
Single path
Handling string output
Complex loops
+
Sum up to zero
Handling ill-formed inputs
Exponentially many sat. paths
More
Input generation:
Constraint-based
Random (Naive)
compiler:
Compile
▶
◼
select artifact
main
program @IO
specification
Generate sample inputs
max. number of input sequences:
Show SMT code
(max.) path length:
<
>
no overflow detected
overflow detected
Input sequence: [
]