source: CIVL/examples/languageFeatures

main
Name Size Rev Age Author Last Change
../
yieldTest ea777aa   – – –
wrongMacro.c 784 bytes ​ ea777aa   – – –
variadic.c 49 bytes ​ 6495bb8   – – –
unionAssumePush.cvl 176 bytes ​ c2b37db   – – –
union.cvl 170 bytes ​ ea777aa   – – –
undefPointer.cvl 191 bytes ​ ea777aa   – – –
undefHeapPointer.cvl 248 bytes ​ ea777aa   – – –
typedefbugSource.c 149 bytes ​ ea777aa   – – –
typedefbugMain.c 55 bytes ​ ea777aa   – – –
typedefbugHeader.h 34 bytes ​ ea777aa   – – –
switch.cvl 311 bytes ​ ea777aa   – – –
sumExpressionBad.cvl 563 bytes ​ bff6f38   – – –
sumExpression.cvl 223 bytes ​ b3cd4ba   – – –
sumExpression2.cvl 563 bytes ​ bff6f38   – – –
structStruct.cvl 307 bytes ​ ea777aa   – – –
structArray.cvl 328 bytes ​ ea777aa   – – –
struct.cvl 651 bytes ​ ea777aa   – – –
stringTest.cvl 749 bytes ​ ea777aa   – – –
staticVar.cvl 126 bytes ​ ea777aa   – – –
stateNull.cvl 125 bytes ​ ea777aa   – – –
splitFormatBad.cvl 223 bytes ​ ea777aa   – – –
splitFormatBad3.cvl 141 bytes ​ ea777aa   – – –
splitFormatBad2.cvl 175 bytes ​ ea777aa   – – –
splitFormat.cvl 585 bytes ​ ea777aa   – – –
spawnFoo.cvl 111 bytes ​ ea777aa   – – –
sizeofTestBad.cvl 73 bytes ​ ea777aa   – – –
sizeofTest.cvl 73 bytes ​ ea777aa   – – –
sizeof.cvl 303 bytes ​ ea777aa   – – –
sideEffects.cvl 243 bytes ​ ea777aa   – – –
sideEffectLoop.cvl 181 bytes ​ ea777aa   – – –
shortCircuit.c 154 bytes ​ ea777aa   – – –
shadow2.c 205 bytes ​ f0aaefb   – – –
shadow1.c 129 bytes ​ f0aaefb   – – –
self.cvl 265 bytes ​ ea777aa   – – –
scoping.cvl 410 bytes ​ ea777aa   – – –
scopeOperators.cvl 1.2 KB ​ ea777aa   – – –
runStatementBad.cvl 98 bytes ​ ea777aa   – – –
runStatement.cvl 173 bytes ​ ea777aa   – – –
runForever.cvl 71 bytes ​ ea777aa   – – –
runDining.cvl 984 bytes ​ ea777aa   – – –
removedHeapPointer.cvl 608 bytes ​ ea777aa   – – –
ranges.cvl 681 bytes ​ ea777aa   – – –
quantifiers.cvl 458 bytes ​ ea777aa   – – –
quantifiers2.cvl 578 bytes ​ ea777aa   – – –
quantifiedConditionalExpression.cvl 127 bytes ​ ea777aa   – – –
procNull.cvl 131 bytes ​ ea777aa   – – –
processLeak.cvl 393 bytes ​ ea777aa   – – –
procBound.cvl 95 bytes ​ ea777aa   – – –
pointerSubtractionBad.cvl 181 bytes ​ ea777aa   – – –
pointerSubtractionBad2.cvl 360 bytes ​ ea777aa   – – –
pointerSubtraction.cvl 574 bytes ​ ea777aa   – – –
pointersBad.cvl 1.0 KB ​ ea777aa   – – –
pointers.cvl 799 bytes ​ ea777aa   – – –
pointerConvert.c 113 bytes ​ ea777aa   – – –
pointerAddBad.cvl 121 bytes ​ ea777aa   – – –
pointerAddBad7.c 88 bytes ​ ea777aa   – – –
pointerAddBad6.c 159 bytes ​ ea777aa   – – –
pointerAddBad5.c 130 bytes ​ ea777aa   – – –
pointerAddBad4.c 192 bytes ​ ea777aa   – – –
pointerAddBad3.c 84 bytes ​ ea777aa   – – –
pointerAddBad2.cvl 364 bytes ​ ea777aa   – – –
pointerAdd.cvl 1.5 KB ​ ea777aa   – – –
pointerAdd6.c 125 bytes ​ ea777aa   – – –
pointerAdd2.cvl 1.3 KB ​ ea777aa   – – –
pointerAdd1.cvl 180 bytes ​ ea777aa   – – –
outputBad.cvl 223 bytes ​ ea777aa   – – –
null.cvl 148 bytes ​ ea777aa   – – –
notValidResultType.cvl 247 bytes ​ ea777aa   – – –
not.cvl 75 bytes ​ ea777aa   – – –
noopBad.cvl 144 bytes ​ ea777aa   – – –
nonbooleanCondition.cvl 351 bytes ​ ea777aa   – – –
nestedQuantifier.cvl 334 bytes ​ ea777aa   – – –
missingArgs.c 56 bytes ​ 6495bb8   – – –
minimal.cvl 76 bytes ​ ea777aa   – – –
memoryLeak.cvl 646 bytes ​ ea777aa   – – –
memLeak.cvl 90 bytes ​ ea777aa   – – –
mallocBad.cvl 242 bytes ​ ea777aa   – – –
mallocBad2.cvl 219 bytes ​ ea777aa   – – –
malloc.cvl 226 bytes ​ ea777aa   – – –
Makefile 6.9 KB ​ ea777aa   – – –
linkedList.cvl 841 bytes ​ ea777aa   – – –
libraryException.cvl 62 bytes ​ ea777aa   – – –
lambdaBad.cvl 182 bytes ​ 5514bd7   – – –
intToPointer.cvl 163 bytes ​ ea777aa   – – –
intToBool.cvl 161 bytes ​ ea777aa   – – –
int2float.cvl 78 bytes ​ ea777aa   – – –
int2charBad.cvl 336 bytes ​ ea777aa   – – –
int2char.cvl 504 bytes ​ ea777aa   – – –
int2char2.cvl 156 bytes ​ ea777aa   – – –
inputProblem2.cvl 8 bytes ​ ea777aa   – – –
inputProblem1.cvl 74 bytes ​ ea777aa   – – –
inputBad.cvl 214 bytes ​ ea777aa   – – –
initialValues.cvl 319 bytes ​ ea777aa   – – –
initialCompoundValues.cvl 545 bytes ​ ea777aa   – – –
initialCompoundValues2.cvl 547 bytes ​ ea777aa   – – –
incompleteStruct.c 103 bytes ​ ea777aa   – – –
include3.cvl 58 bytes ​ ea777aa   – – –
include2.cvl 24 bytes ​ ea777aa   – – –
include1.cvl 66 bytes ​ ea777aa   – – –
implies.cvl 223 bytes ​ ea777aa   – – –
imNoMain.c 24 bytes ​ ea777aa   – – –
functionRetStruct.cvl 115 bytes ​ ea777aa   – – –
functionPrototypeBad.cvl 154 bytes ​ ea777aa   – – –
functionPrototype.cvl 303 bytes ​ ea777aa   – – –
functionPointerDeref.cvl 241 bytes ​ 573de52c   – – –
functionPointer.cvl 1.3 KB ​ ea777aa   – – –
functionBad.cvl 328 bytes ​ ea777aa   – – –
forall.cvl 387 bytes ​ d24f3f3   – – –
forall4.cvl 176 bytes ​ 4f61660   – – –
forall3.cvl 102 bytes ​ d24f3f3   – – –
forall2.cvl 280 bytes ​ d24f3f3   – – –
for.cvl 192 bytes ​ ea777aa   – – –
equivQualifier_bad.c 216 bytes ​ ea777aa   – – –
equivQualifier.c 214 bytes ​ ea777aa   – – –
enum2.cvl 382 bytes ​ ea777aa   – – –
enum1.cvl 234 bytes ​ ea777aa   – – –
emptyWhen.cvl 96 bytes ​ ea777aa   – – –
dynamicStruct.cvl 492 bytes ​ ea777aa   – – –
duffs.cvl 766 bytes ​ ea777aa   – – –
divisionByZeroConstant.cvl 95 bytes ​ ea777aa   – – –
divisionByZero.cvl 91 bytes ​ ea777aa   – – –
continue.cvl 422 bytes ​ ea777aa   – – –
condLHS.c 362 bytes ​ ea777aa   – – –
conditionalExpression.cvl 1.1 KB ​ ea777aa   – – –
compoundRange.c 202 bytes ​ ea777aa   – – –
compoundInit6.c 197 bytes ​ 8ed8eba   – – –
compoundInit5.c 197 bytes ​ 8ed8eba   – – –
compoundInit4.c 199 bytes ​ 8ed8eba   – – –
compoundInit3.c 112 bytes ​ 8ed8eba   – – –
compoundInit2.c 134 bytes ​ 8ed8eba   – – –
compoundInit1.c 269 bytes ​ 8ed8eba   – – –
compare.cvl 175 bytes ​ ea777aa   – – –
comma.cvl 250 bytes ​ ea777aa   – – –
civlValueUndefined.cvl 829 bytes ​ ea777aa   – – –
civlPragma.cvl 294 bytes ​ ea777aa   – – –
civlParforNotConcrete.cvl 395 bytes ​ ea777aa   – – –
civlParfor.cvl 333 bytes ​ ea777aa   – – –
civlfor.cvl 298 bytes ​ ea777aa   – – –
chooseCalls.cvl 124 bytes ​ 9ca4e28   – – –
choose_int_nolhs.cvl 48 bytes ​ ea777aa   – – –
choose_int.cvl 156 bytes ​ ea777aa   – – –
choose.cvl 299 bytes ​ ea777aa   – – –
char.cvl 161 bytes ​ ea777aa   – – –
castReal2Int.cvl 83 bytes ​ ea777aa   – – –
cast.cvl 265 bytes ​ ea777aa   – – –
bundleUnpackApply.cvl 1.1 KB ​ ea777aa   – – –
bundleTestBad.cvl 398 bytes ​ ea777aa   – – –
bundleTest.cvl 2.6 KB ​ ea777aa   – – –
bundleTest3_NTPack.cvl 1.3 KB ​ ea777aa   – – –
bundleTest2_nonconc.cvl 2.0 KB ​ ea777aa   – – –
bundleTest2_conc.cvl 1.8 KB ​ ea777aa   – – –
bundleStructComponent.cvl 430 bytes ​ ea777aa   – – –
bundleStruct.cvl 467 bytes ​ ea777aa   – – –
bundleSize.cvl 332 bytes ​ ea777aa   – – –
bundlePackBad.cvl 400 bytes ​ ea777aa   – – –
bundleConcrete.cvl 318 bytes ​ ea777aa   – – –
bundleArray.cvl 328 bytes ​ ea777aa   – – –
break.cvl 296 bytes ​ ea777aa   – – –
bracedScalarInit.c 111 bytes ​ 1b85498   – – –
bitwise.cvl 94 bytes ​ ea777aa   – – –
bigO.cvl 343 bytes ​ ea777aa   – – –
badGuard.cvl 374 bytes ​ ea777aa   – – –
atomicWait.cvl 385 bytes ​ ea777aa   – – –
atomicStatement.cvl 508 bytes ​ ea777aa   – – –
atomicFunctionSpecifier.cvl 439 bytes ​ ea777aa   – – –
atomicBlockedResume.cvl 625 bytes ​ ea777aa   – – –
assume.cvl 159 bytes ​ ea777aa   – – –
assignIntWtReal.cvl 231 bytes ​ ea777aa   – – –
assignInput.cvl 121 bytes ​ ea777aa   – – –
assertPrintf.cvl 220 bytes ​ ea777aa   – – –
assertNullPointer.cvl 147 bytes ​ ea777aa   – – –
assertNonNullPointer.cvl 182 bytes ​ ea777aa   – – –
assertBad.cvl 57 bytes ​ 9ca4e28   – – –
assertBad2.cvl 37 bytes ​ 9ca4e28   – – –
arrayWriteBad.cvl 167 bytes ​ e37044c   – – –
arrays.cvl 304 bytes ​ ea777aa   – – –
arrayPointer.cvl 191 bytes ​ ea777aa   – – –
arrayOfStruct.c 169 bytes ​ ea777aa   – – –
arrayLiteral.cvl 202 bytes ​ ea777aa   – – –
arrayDefProblem.cvl 186 bytes ​ ea777aa   – – –
arrayDeclExtent.c 169 bytes ​ ea777aa   – – –
arrayCompat.cvl 114 bytes ​ 191916b   – – –
arrayCompat8.cvl 182 bytes ​ 191916b   – – –
arrayCompat7.cvl 239 bytes ​ 191916b   – – –
arrayCompat6.cvl 153 bytes ​ 7320499   – – –
arrayCompat5.cvl 116 bytes ​ 191916b   – – –
arrayCompat4.cvl 115 bytes ​ 191916b   – – –
arrayCompat3.cvl 116 bytes ​ 191916b   – – –
arrayCompat2.cvl 163 bytes ​ 191916b   – – –
arrayArrow.c 102 bytes ​ 6ae12a5   – – –
arbitrary_pointer_bad.cvl 170 bytes ​ ea777aa   – – –
arbitrary_pointer.cvl 150 bytes ​ ea777aa   – – –
anon.c 188 bytes ​ 8ed8eba   – – –
abstractFunNoArg.cvl 184 bytes ​ ea777aa   – – –
abstractFunAttr.cvl 304 bytes ​ c74ec20   – – –
abstractFunAttr-bad.cvl 287 bytes ​ c74ec20   – – –
abstractFunAttr-bad2.cvl 207 bytes ​ c74ec20   – – –
abstractFun.cvl 258 bytes ​ ea777aa   – – –
2dpointerTest.cvl 523 bytes ​ ea777aa   – – –
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.