mirror of
https://github.com/circify/circ.git
synced 2026-04-21 03:00:54 -04:00
c06e938c41
Integrating SV comp tests for C Frontend --------- Co-authored-by: Alex Ozdemir <aozdemir@hmc.edu>
7 lines
123 B
C
7 lines
123 B
C
int main(
|
|
__attribute__((private(0))) int a,
|
|
__attribute__((private(1))) int b)
|
|
{
|
|
__VERIFIER_assert(a == b);
|
|
}
|