source: CIVL/mods/dev.civl.com/examples/languageFeatures@ cb4d4f4

main test-branch
Name Size Rev Age Author Last Change
../
yieldTest aad342c   – – –
2dpointerTest.cvl 523 bytes ​ aad342c   – – –
abstractFun.cvl 258 bytes ​ aad342c   – – –
abstractFunNoArg.cvl 184 bytes ​ aad342c   – – –
arbitrary_pointer.cvl 150 bytes ​ aad342c   – – –
arbitrary_pointer_bad.cvl 170 bytes ​ aad342c   – – –
arrayDeclExtent.c 169 bytes ​ aad342c   – – –
arrayDefProblem.cvl 186 bytes ​ aad342c   – – –
arrayLiteral.cvl 202 bytes ​ aad342c   – – –
arrayOfStruct.c 169 bytes ​ aad342c   – – –
arrayPointer.cvl 191 bytes ​ aad342c   – – –
arrays.cvl 304 bytes ​ aad342c   – – –
assertNonNullPointer.cvl 182 bytes ​ aad342c   – – –
assertNullPointer.cvl 147 bytes ​ aad342c   – – –
assertPrintf.cvl 220 bytes ​ aad342c   – – –
assignInput.cvl 121 bytes ​ aad342c   – – –
assignIntWtReal.cvl 231 bytes ​ aad342c   – – –
assume.cvl 159 bytes ​ aad342c   – – –
atomicBlockedResume.cvl 625 bytes ​ aad342c   – – –
atomicFunctionSpecifier.cvl 439 bytes ​ aad342c   – – –
atomicStatement.cvl 508 bytes ​ aad342c   – – –
atomicWait.cvl 385 bytes ​ aad342c   – – –
badGuard.cvl 374 bytes ​ aad342c   – – –
bigO.cvl 343 bytes ​ aad342c   – – –
bitwise.cvl 94 bytes ​ aad342c   – – –
break.cvl 296 bytes ​ aad342c   – – –
bundleArray.cvl 328 bytes ​ aad342c   – – –
bundleConcrete.cvl 318 bytes ​ aad342c   – – –
bundlePackBad.cvl 400 bytes ​ aad342c   – – –
bundleSize.cvl 332 bytes ​ aad342c   – – –
bundleStruct.cvl 467 bytes ​ aad342c   – – –
bundleStructComponent.cvl 430 bytes ​ aad342c   – – –
bundleTest2_conc.cvl 1.8 KB ​ aad342c   – – –
bundleTest2_nonconc.cvl 2.0 KB ​ aad342c   – – –
bundleTest3_NTPack.cvl 1.3 KB ​ aad342c   – – –
bundleTest.cvl 2.6 KB ​ aad342c   – – –
bundleTestBad.cvl 398 bytes ​ aad342c   – – –
bundleUnpackApply.cvl 1.1 KB ​ aad342c   – – –
cast.cvl 265 bytes ​ aad342c   – – –
castReal2Int.cvl 83 bytes ​ aad342c   – – –
char.cvl 161 bytes ​ aad342c   – – –
choose.cvl 299 bytes ​ aad342c   – – –
choose_int.cvl 156 bytes ​ aad342c   – – –
choose_int_nolhs.cvl 48 bytes ​ aad342c   – – –
civlfor.cvl 298 bytes ​ aad342c   – – –
civlParfor.cvl 333 bytes ​ aad342c   – – –
civlParforNotConcrete.cvl 395 bytes ​ aad342c   – – –
civlPragma.cvl 294 bytes ​ aad342c   – – –
civlValueUndefined.cvl 829 bytes ​ aad342c   – – –
comma.cvl 250 bytes ​ aad342c   – – –
compare.cvl 175 bytes ​ aad342c   – – –
compoundRange.c 202 bytes ​ aad342c   – – –
conditionalExpression.cvl 1.1 KB ​ aad342c   – – –
condLHS.c 362 bytes ​ aad342c   – – –
continue.cvl 422 bytes ​ aad342c   – – –
divisionByZero.cvl 91 bytes ​ aad342c   – – –
divisionByZeroConstant.cvl 95 bytes ​ aad342c   – – –
duffs.cvl 766 bytes ​ aad342c   – – –
dynamicStruct.cvl 492 bytes ​ aad342c   – – –
emptyWhen.cvl 96 bytes ​ aad342c   – – –
enum1.cvl 234 bytes ​ aad342c   – – –
enum2.cvl 382 bytes ​ aad342c   – – –
equivQualifier.c 214 bytes ​ aad342c   – – –
equivQualifier_bad.c 216 bytes ​ aad342c   – – –
for.cvl 192 bytes ​ aad342c   – – –
functionBad.cvl 328 bytes ​ aad342c   – – –
functionPointer.cvl 1.3 KB ​ aad342c   – – –
functionPrototype.cvl 303 bytes ​ aad342c   – – –
functionPrototypeBad.cvl 154 bytes ​ aad342c   – – –
functionRetStruct.cvl 115 bytes ​ aad342c   – – –
imNoMain.c 24 bytes ​ aad342c   – – –
implies.cvl 223 bytes ​ aad342c   – – –
include1.cvl 66 bytes ​ aad342c   – – –
include2.cvl 24 bytes ​ aad342c   – – –
include3.cvl 58 bytes ​ aad342c   – – –
incompleteStruct.c 103 bytes ​ aad342c   – – –
initialCompoundValues2.cvl 547 bytes ​ aad342c   – – –
initialCompoundValues.cvl 545 bytes ​ aad342c   – – –
initialValues.cvl 319 bytes ​ aad342c   – – –
inputBad.cvl 214 bytes ​ aad342c   – – –
inputProblem1.cvl 74 bytes ​ aad342c   – – –
inputProblem2.cvl 8 bytes ​ aad342c   – – –
int2char2.cvl 156 bytes ​ aad342c   – – –
int2char.cvl 504 bytes ​ aad342c   – – –
int2charBad.cvl 336 bytes ​ aad342c   – – –
int2float.cvl 78 bytes ​ aad342c   – – –
intToBool.cvl 161 bytes ​ aad342c   – – –
intToPointer.cvl 163 bytes ​ aad342c   – – –
libraryException.cvl 62 bytes ​ aad342c   – – –
linkedList.cvl 841 bytes ​ aad342c   – – –
Makefile 6.9 KB ​ aad342c   – – –
malloc.cvl 226 bytes ​ aad342c   – – –
mallocBad2.cvl 219 bytes ​ aad342c   – – –
mallocBad.cvl 242 bytes ​ aad342c   – – –
memLeak.cvl 90 bytes ​ aad342c   – – –
memoryLeak.cvl 646 bytes ​ aad342c   – – –
minimal.cvl 76 bytes ​ aad342c   – – –
nestedQuantifier.cvl 334 bytes ​ aad342c   – – –
nonbooleanCondition.cvl 351 bytes ​ aad342c   – – –
noopBad.cvl 144 bytes ​ aad342c   – – –
not.cvl 75 bytes ​ aad342c   – – –
notValidResultType.cvl 247 bytes ​ aad342c   – – –
null.cvl 148 bytes ​ aad342c   – – –
outputBad.cvl 223 bytes ​ aad342c   – – –
pointerAdd1.cvl 180 bytes ​ aad342c   – – –
pointerAdd2.cvl 1.3 KB ​ aad342c   – – –
pointerAdd6.c 125 bytes ​ aad342c   – – –
pointerAdd.cvl 1.5 KB ​ aad342c   – – –
pointerAddBad2.cvl 364 bytes ​ aad342c   – – –
pointerAddBad3.c 84 bytes ​ aad342c   – – –
pointerAddBad4.c 192 bytes ​ aad342c   – – –
pointerAddBad5.c 130 bytes ​ aad342c   – – –
pointerAddBad6.c 159 bytes ​ aad342c   – – –
pointerAddBad7.c 88 bytes ​ aad342c   – – –
pointerAddBad.cvl 121 bytes ​ aad342c   – – –
pointerConvert.c 113 bytes ​ aad342c   – – –
pointers.cvl 799 bytes ​ aad342c   – – –
pointersBad.cvl 1.0 KB ​ aad342c   – – –
pointerSubtraction.cvl 574 bytes ​ aad342c   – – –
pointerSubtractionBad2.cvl 360 bytes ​ aad342c   – – –
pointerSubtractionBad.cvl 181 bytes ​ aad342c   – – –
procBound.cvl 95 bytes ​ aad342c   – – –
processLeak.cvl 393 bytes ​ aad342c   – – –
procNull.cvl 131 bytes ​ aad342c   – – –
quantifiedConditionalExpression.cvl 127 bytes ​ aad342c   – – –
quantifiers2.cvl 578 bytes ​ aad342c   – – –
quantifiers.cvl 458 bytes ​ aad342c   – – –
ranges.cvl 681 bytes ​ aad342c   – – –
removedHeapPointer.cvl 608 bytes ​ aad342c   – – –
runDining.cvl 984 bytes ​ aad342c   – – –
runForever.cvl 71 bytes ​ aad342c   – – –
runStatement.cvl 173 bytes ​ aad342c   – – –
runStatementBad.cvl 98 bytes ​ aad342c   – – –
scopeOperators.cvl 1.2 KB ​ aad342c   – – –
scoping.cvl 410 bytes ​ aad342c   – – –
self.cvl 265 bytes ​ aad342c   – – –
shortCircuit.c 154 bytes ​ aad342c   – – –
sideEffectLoop.cvl 181 bytes ​ aad342c   – – –
sideEffects.cvl 243 bytes ​ aad342c   – – –
sizeof.cvl 303 bytes ​ aad342c   – – –
sizeofTest.cvl 73 bytes ​ aad342c   – – –
sizeofTestBad.cvl 73 bytes ​ aad342c   – – –
spawnFoo.cvl 111 bytes ​ aad342c   – – –
splitFormat.cvl 585 bytes ​ aad342c   – – –
splitFormatBad2.cvl 175 bytes ​ aad342c   – – –
splitFormatBad3.cvl 141 bytes ​ aad342c   – – –
splitFormatBad.cvl 223 bytes ​ aad342c   – – –
stateNull.cvl 125 bytes ​ aad342c   – – –
staticVar.cvl 126 bytes ​ aad342c   – – –
stringTest.cvl 749 bytes ​ aad342c   – – –
struct.cvl 651 bytes ​ aad342c   – – –
structArray.cvl 328 bytes ​ aad342c   – – –
structStruct.cvl 307 bytes ​ aad342c   – – –
switch.cvl 311 bytes ​ aad342c   – – –
typedefbugHeader.h 34 bytes ​ aad342c   – – –
typedefbugMain.c 55 bytes ​ aad342c   – – –
typedefbugSource.c 149 bytes ​ aad342c   – – –
undefHeapPointer.cvl 248 bytes ​ aad342c   – – –
undefPointer.cvl 191 bytes ​ aad342c   – – –
union.cvl 170 bytes ​ aad342c   – – –
wrongMacro.c 784 bytes ​ aad342c   – – –
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.