Commit 8e0f3769 authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Add python module calling the model checker

parent b75c339c
#!/usr/bin/env python3
import ctypes
dll = ctypes.CDLL ("libsimulator.so")
dll.mc_run_exhaustive()
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment