Commit 1562d2fb authored by Etienne Renault's avatar Etienne Renault

More restrictions

* Here.
parent 9fc6f5e3
Pipeline #16347 passed with stage
in 1 minute and 54 seconds
......@@ -83,6 +83,7 @@ Our goal is to integrate this tool directly inside of the `output` directory.
* Only 32-bit integer value types are currently supported.
* 32-bit integer array are supported, but raw initialisation is
not fully supported, especially for local arrays
* Complex for loop statements are not yet handled
* Function calls are authorized for goroutines, nonetheless they will
be automatically considered as blackbox
* Unbounded channels are supported. But channels can only be declared
Markdown is supported
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