Syntactic checks

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

Sign in to view logs

Triggered via pull request December 13, 2023 21:23

synchronize #8104

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

Status Success

Total duration 1m 3s

Artifacts –

syntax-checks.yaml

on: pull_request

check-clang-format