loading...
Symbolica effectively runs your code for all inputs probing every reachable state of your program. It automatically detects faults and undefined behaviours like overflows and div by zero or you can use it to make universal assertions about your code.
