diff options
| author | Thomas Bauereiss | 2019-03-15 20:54:52 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2019-03-15 20:55:15 +0000 |
| commit | 22ced4748484bbc0e930efd74f7d162fe561fe32 (patch) | |
| tree | 1347d0fe6374a03df61390c2632efa37eb0495ff /test/c | |
| parent | 5222eb29434437190c83339602ca197a5cd6be7d (diff) | |
Don't constant-fold undefined_X functions in monomorphisation
These should be preserved for prover backends.
Diffstat (limited to 'test/c')
0 files changed, 0 insertions, 0 deletions