Support unevaluated constants in specs#1332

Aurel300 merged 1 commit intoviperproject:masterviperproject/prusti-dev:masterfrom

Aurel300:feature/constantsAurel300/prusti-dev:feature/constantsCopy head branch name to clipboard