testcases · 9fa5979d30f0de4f6463311fcd1b719ed6aa0701 · LARA / inox · GitLab

Snippets Groups Projects

weird testcase: finding prime numbers by unrolling....

Philippe Suter authored 13 years ago

5f5a5953

5f5a5953 13 years ago

Name	Last commit	Last update
..
etaps2011-testcases
pldi2011-testcases
regression
sas2011-testcases
vmcai2011-testcases
vstte10competition
Account.scala
Account2.scala
AddressBook.scala
BSTSimpler.scala
BinarySearchTree.scala
ConnectedTest.scala
Expr2Comp.scala
ExprComp.scala
Fibonacci.scala
InsertionSort.scala
IntOperations.scala
ListWithSize.scala
MergeSort.scala
MultiBug.scala
MultiExample.scala
MultisetOperations.scala
MutuallyRecursive.scala
Naturals.scala
PaperDemoExample.scala
Parser.scala
Prime.scala
QuickSort.scala
README
RedBlackTree.scala
SetOperations.scala
Test.scala
TwoSizeFunctions.scala
UnificationTest.scala
UseContradictoryLemma.scala
VerySimple.scala
Viktor.scala

Anything that's in this directory needs to be parsable by FunCheck, otherwise
it will make me angry.