Skip to content

Add basic integration tests for writing outputs in C, LLVM, and Java

Thomas Lemberger requested to merge add-basic-integration-tests-for-all-languages into trunk

To catch issues with the default file export sooner; currently exceptions occur for LLVM and Java because of a broken Witness-Export and this went unnoticed.

Edited by Thomas Lemberger

Merge request reports