nondet-volatile: fix handling of enum types #5621
Triggered via pull request
February 13, 2024 12:56
tautschnig
Status
Success
Total duration
54m 21s
Artifacts
–