Mentions légales du service

Skip to content

Fix interpreter for undefined reference

Maxime Audinot requested to merge fix-interpreter-for-undefined-reference into master

Since the interpreter runs on the original model, it did not benefit from the control of undefined values as an abs2abs transformation. Now, it is included directly in the interpreter.

Merge request reports

Loading