Syntactic checks

Keep symbols as nondet rather than using their symbol table values in SMT decision procedure. #1777

Sign in to view logs

Triggered via pull request December 13, 2023 19:07

opened #8104

thomasspriggs:tas/smt-no-implicit-symbol-values

Status Success

Total duration 2m 11s

Artifacts –

syntax-checks.yaml

on: pull_request

check-clang-format