main: rename 'real_main()' to 'model_main()'
[c11tester.git] / include /
drwxr-xr-x   ..
-rw-r--r-- 25 cstdatomic
-rw-r--r-- 132845 impatomic.h
-rw-r--r-- 355 memoryorder.h
-rw-r--r-- 668 stdatomic.h