mirror of https://github.com/llvm/circt.git
9e79c341e5
After some discussions on `verif.simulation`, the consensus seems to be that an arbitrary integer exit code that has no guarantee of being preserved properly by simulators, besides the zero vs non-zero distinction, is virtually useless in practice. Instead, simulations can be made simpler by generating a simple `i1` success result indicating whether the test passed or failed. Simulators can then map this to an appropriate exit code. The operating system's potential truncation of exit codes to fewer bits (e.g. 7 or 8 bits on Linux) is no longer an issue. |
||
|---|---|---|
| .. | ||
| basic.mlir | ||
| canonicalization.mlir | ||
| cse.mlir | ||
| errors.mlir | ||
| lower-contracts.mlir | ||
| lower-formal-to-hw.mlir | ||
| prepare-for-formal.mlir | ||
| strip-contracts.mlir | ||
| verify.mlir | ||