.gitignore

syntax: glob

# Ignore temp files from editors and other tools
*~

# Ignore backup files, generated by hg revert and other operations
*.bak
*.log
*.new
*.old
*.orig
*.sav

# Symlink to another repository
fjalar

# User customizations
# (Each filename matches in all directories.)
Makefile.user

java/TAGS

# Compiled Java files
daikon.jar
java/ChicoryPremain.jar
java/dcomp_premain.jar
java/*.class
java/**/*.class
# Temporary file used during compilation
java/java_files.txt
# Javadoc
java/api

# Eclipse files
java/bin
java/.classpath

# Release files
daikon*.tar
daikon*.zip

# DynComp
java/dcomp-rt/dcomp_jdk_static_map
java/dcomp-rt/dcomp_jdk_static_map
java/dcomp-rt/META-INF/MANIFEST.MF
java/dcomp-rt/java/lang/jdk_classes.txt
java/dcomp_rt.jar
dcomp-rt.jar
# DynComp testing
java/daikon/dcomp/jdk_dcomp_out.diff
java/daikon/dcomp/jdk_dcomp_out.txt
java/daikon/dcomp/std_dcomp_out.diff
java/daikon/dcomp/std_dcomp_out.txt
java/debug
java/Test.decls-DynComp

# Obtained via Git
plume-lib
# Generated from plume-lib
java/daikon/util

# Documentation (including WWW pages and the manual)
doc/.fix-dev-menu
doc/.fix-menu
doc/config-options.texinfo
doc/daikon.aux
doc/daikon.cp
doc/daikon.cps
doc/daikon.dvi
doc/daikon.fn
doc/daikon.fns
doc/daikon.html
doc/daikon.info
doc/daikon.ky
doc/daikon.log
doc/daikon.pdf
doc/daikon.pg
doc/daikon.ps
doc/daikon.toc
doc/daikon.tp
doc/daikon.vr
doc/daikon/
doc/daikon_manual_html/
doc/developer.aux
doc/developer.cp
doc/developer.cps
doc/developer.dvi
doc/developer.fn
doc/developer.fns
doc/developer.html
doc/developer.info
doc/developer.ky
doc/developer.log
doc/developer.pdf
doc/developer.pg
doc/developer.ps
doc/developer.toc
doc/developer.tp
doc/developer.vr
doc/developer/
doc/developer_manual_html/
doc/images/daikon-logo.pdf
doc/images/dfepl-flow.eps
doc/images/dfepl-flow.jpg
doc/images/dfepl-flow.pdf
doc/invariants-doc.texinfo
doc/valgrind-merge.aux
doc/valgrind-merge.cp
doc/valgrind-merge.cps
doc/valgrind-merge.fn
doc/valgrind-merge.fns
doc/valgrind-merge.html
doc/valgrind-merge.info
doc/valgrind-merge.ky
doc/valgrind-merge.log
doc/valgrind-merge.pdf
doc/valgrind-merge.pg
doc/valgrind-merge.toc
doc/valgrind-merge.tp
doc/valgrind-merge.vr
doc/www/pubs

# Files generated by java-cpp
java/daikon/PptSlice1.java
java/daikon/PptSlice2.java
java/daikon/PptSlice3.java
java/daikon/Quant.java
java/daikon/derive/binary/SequenceFloatIntersection.java
java/daikon/derive/binary/SequenceFloatIntersectionFactory.java
java/daikon/derive/binary/SequenceFloatSubscript.java
java/daikon/derive/binary/SequenceFloatSubscriptFactory.java
java/daikon/derive/binary/SequenceFloatSubsequence.java
java/daikon/derive/binary/SequenceFloatUnion.java
java/daikon/derive/binary/SequenceFloatUnionFactory.java
java/daikon/derive/binary/SequenceScalarIntersection.java
java/daikon/derive/binary/SequenceScalarIntersectionFactory.java
java/daikon/derive/binary/SequenceScalarSubscript.java
java/daikon/derive/binary/SequenceScalarSubscriptFactory.java
java/daikon/derive/binary/SequenceScalarSubsequence.java
java/daikon/derive/binary/SequenceScalarUnion.java
java/daikon/derive/binary/SequenceScalarUnionFactory.java
java/daikon/derive/binary/SequenceStringIntersection.java
java/daikon/derive/binary/SequenceStringIntersectionFactory.java
java/daikon/derive/binary/SequenceStringSubscript.java
java/daikon/derive/binary/SequenceStringSubscriptFactory.java
java/daikon/derive/binary/SequenceStringSubsequence.java
java/daikon/derive/binary/SequenceStringUnion.java
java/daikon/derive/binary/SequenceStringUnionFactory.java
java/daikon/derive/binary/SequencesJoin.java
java/daikon/derive/binary/SequencesJoinFactory.java
java/daikon/derive/binary/SequencesJoinFactoryFloat.java
java/daikon/derive/binary/SequencesJoinFloat.java
java/daikon/derive/binary/SequencesPredicate.java
java/daikon/derive/binary/SequencesPredicateFactory.java
java/daikon/derive/binary/SequencesPredicateFactoryFloat.java
java/daikon/derive/binary/SequencesPredicateFloat.java
java/daikon/derive/ternary/SequenceFloatArbitrarySubsequence.java
java/daikon/derive/ternary/SequenceFloatArbitrarySubsequenceFactory.java
java/daikon/derive/ternary/SequenceScalarArbitrarySubsequence.java
java/daikon/derive/ternary/SequenceScalarArbitrarySubsequenceFactory.java
java/daikon/derive/ternary/SequenceStringArbitrarySubsequence.java
java/daikon/derive/ternary/SequenceStringArbitrarySubsequenceFactory.java
java/daikon/derive/unary/SequenceInitial.java
java/daikon/derive/unary/SequenceInitialFactory.java
java/daikon/derive/unary/SequenceInitialFactoryFloat.java
java/daikon/derive/unary/SequenceInitialFloat.java
java/daikon/inv/binary/sequenceScalar/Member.java
java/daikon/inv/binary/sequenceScalar/MemberFloat.java
java/daikon/inv/binary/sequenceScalar/SeqFloatEqual.java
java/daikon/inv/binary/sequenceScalar/SeqFloatGreaterEqual.java
java/daikon/inv/binary/sequenceScalar/SeqFloatGreaterThan.java
java/daikon/inv/binary/sequenceScalar/SeqFloatLessEqual.java
java/daikon/inv/binary/sequenceScalar/SeqFloatLessThan.java
java/daikon/inv/binary/sequenceScalar/SeqIntEqual.java
java/daikon/inv/binary/sequenceScalar/SeqIntGreaterEqual.java
java/daikon/inv/binary/sequenceScalar/SeqIntGreaterThan.java
java/daikon/inv/binary/sequenceScalar/SeqIntLessEqual.java
java/daikon/inv/binary/sequenceScalar/SeqIntLessThan.java
java/daikon/inv/binary/sequenceScalar/SequenceFloat.java
java/daikon/inv/binary/sequenceScalar/SequenceScalar.java
java/daikon/inv/binary/sequenceString/MemberString.java
java/daikon/inv/binary/sequenceString/SequenceString.java
java/daikon/inv/binary/twoScalar/IntComparisonCore.java
java/daikon/inv/binary/twoScalar/FloatComparisonCore.java
java/daikon/inv/binary/twoScalar/FloatEqual.java
java/daikon/inv/binary/twoScalar/FloatGreaterEqual.java
java/daikon/inv/binary/twoScalar/FloatGreaterThan.java
java/daikon/inv/binary/twoScalar/FloatLessEqual.java
java/daikon/inv/binary/twoScalar/FloatLessThan.java
java/daikon/inv/binary/twoScalar/FloatNonEqual.java
java/daikon/inv/binary/twoScalar/IntEqual.java
java/daikon/inv/binary/twoScalar/IntGreaterEqual.java
java/daikon/inv/binary/twoScalar/IntGreaterThan.java
java/daikon/inv/binary/twoScalar/IntLessEqual.java
java/daikon/inv/binary/twoScalar/IntLessThan.java
java/daikon/inv/binary/twoScalar/IntNonEqual.java
java/daikon/inv/binary/twoScalar/LinearBinary.java
java/daikon/inv/binary/twoScalar/LinearBinaryCore.java
java/daikon/inv/binary/twoScalar/LinearBinaryCoreFloat.java
java/daikon/inv/binary/twoScalar/LinearBinaryFloat.java
java/daikon/inv/binary/twoScalar/NonEqualCore.java
java/daikon/inv/binary/twoScalar/NonEqualCoreFloat.java
java/daikon/inv/binary/twoScalar/NumericFloat.java
java/daikon/inv/binary/twoScalar/NumericInt.java
java/daikon/inv/binary/twoScalar/TwoFloat.java
java/daikon/inv/binary/twoScalar/TwoScalar.java
java/daikon/inv/binary/twoScalar/TwoFloatFactory.java
java/daikon/inv/binary/twoScalar/TwoScalarFactory.java
java/daikon/inv/binary/twoSequence/PairwiseFloatEqual.java
java/daikon/inv/binary/twoSequence/PairwiseFloatGreaterEqual.java
java/daikon/inv/binary/twoSequence/PairwiseFloatGreaterThan.java
java/daikon/inv/binary/twoSequence/PairwiseFloatLessEqual.java
java/daikon/inv/binary/twoSequence/PairwiseFloatLessThan.java
java/daikon/inv/binary/twoSequence/PairwiseIntEqual.java
java/daikon/inv/binary/twoSequence/PairwiseIntGreaterEqual.java
java/daikon/inv/binary/twoSequence/PairwiseIntGreaterThan.java
java/daikon/inv/binary/twoSequence/PairwiseIntLessEqual.java
java/daikon/inv/binary/twoSequence/PairwiseIntLessThan.java
java/daikon/inv/binary/twoSequence/PairwiseLinearBinary.java
java/daikon/inv/binary/twoSequence/PairwiseLinearBinaryFloat.java
java/daikon/inv/binary/twoSequence/PairwiseNumericFloat.java
java/daikon/inv/binary/twoSequence/PairwiseNumericInt.java
java/daikon/inv/binary/twoSequence/PairwiseString.java
java/daikon/inv/binary/twoSequence/PairwiseStringEqual.java
java/daikon/inv/binary/twoSequence/PairwiseStringGreaterEqual.java
java/daikon/inv/binary/twoSequence/PairwiseStringGreaterThan.java
java/daikon/inv/binary/twoSequence/PairwiseStringLessEqual.java
java/daikon/inv/binary/twoSequence/PairwiseStringLessThan.java
java/daikon/inv/binary/twoSequence/Reverse.java
java/daikon/inv/binary/twoSequence/ReverseFloat.java
java/daikon/inv/binary/twoSequence/SeqSeqFloatEqual.java
java/daikon/inv/binary/twoSequence/SeqSeqFloatGreaterEqual.java
java/daikon/inv/binary/twoSequence/SeqSeqFloatGreaterThan.java
java/daikon/inv/binary/twoSequence/SeqSeqFloatLessEqual.java
java/daikon/inv/binary/twoSequence/SeqSeqFloatLessThan.java
java/daikon/inv/binary/twoSequence/SeqSeqIntEqual.java
java/daikon/inv/binary/twoSequence/SeqSeqIntGreaterEqual.java
java/daikon/inv/binary/twoSequence/SeqSeqIntGreaterThan.java
java/daikon/inv/binary/twoSequence/SeqSeqIntLessEqual.java
java/daikon/inv/binary/twoSequence/SeqSeqIntLessThan.java
java/daikon/inv/binary/twoSequence/SeqSeqStringEqual.java
java/daikon/inv/binary/twoSequence/SeqSeqStringGreaterEqual.java
java/daikon/inv/binary/twoSequence/SeqSeqStringGreaterThan.java
java/daikon/inv/binary/twoSequence/SeqSeqStringLessEqual.java
java/daikon/inv/binary/twoSequence/SeqSeqStringLessThan.java
java/daikon/inv/binary/twoSequence/SubSequence.java
java/daikon/inv/binary/twoSequence/SubSequenceFloat.java
java/daikon/inv/binary/twoSequence/SubSet.java
java/daikon/inv/binary/twoSequence/SubSetFloat.java
java/daikon/inv/binary/twoSequence/SuperSequence.java
java/daikon/inv/binary/twoSequence/SuperSequenceFloat.java
java/daikon/inv/binary/twoSequence/SuperSet.java
java/daikon/inv/binary/twoSequence/SuperSetFloat.java
java/daikon/inv/binary/twoSequence/TwoSequence.java
java/daikon/inv/binary/twoSequence/TwoSequenceFloat.java
java/daikon/inv/binary/twoSequence/TwoSequenceString.java
java/daikon/inv/binary/twoSequence/TwoSequenceFactory.java
java/daikon/inv/binary/twoSequence/TwoSequenceFactoryFloat.java
java/daikon/inv/binary/twoString/StdString.java
java/daikon/inv/binary/twoString/StringEqual.java
java/daikon/inv/binary/twoString/StringGreaterEqual.java
java/daikon/inv/binary/twoString/StringGreaterThan.java
java/daikon/inv/binary/twoString/StringLessEqual.java
java/daikon/inv/binary/twoString/StringLessThan.java
java/daikon/inv/binary/twoString/StringNonEqual.java
java/daikon/inv/binary/twoString/TwoString.java
java/daikon/inv/ternary/threeScalar/FunctionBinary.java
java/daikon/inv/ternary/threeScalar/FunctionBinaryFloat.java
java/daikon/inv/ternary/threeScalar/FunctionBinaryCore.java
java/daikon/inv/ternary/threeScalar/FunctionBinaryCoreFloat.java
java/daikon/inv/ternary/threeScalar/LinearTernary.java
java/daikon/inv/ternary/threeScalar/LinearTernaryCore.java
java/daikon/inv/ternary/threeScalar/LinearTernaryCoreFloat.java
java/daikon/inv/ternary/threeScalar/LinearTernaryFloat.java
java/daikon/inv/ternary/threeScalar/ThreeFloat.java
java/daikon/inv/ternary/threeScalar/ThreeScalar.java
java/daikon/inv/unary/LowerBoundCore.java
java/daikon/inv/unary/LowerBoundCoreFloat.java
java/daikon/inv/unary/UpperBoundCore.java
java/daikon/inv/unary/UpperBoundCoreFloat.java
java/daikon/inv/unary/scalar/LowerBound.java
java/daikon/inv/unary/scalar/LowerBoundFloat.java
java/daikon/inv/unary/scalar/NonZero.java
java/daikon/inv/unary/scalar/NonZeroFloat.java
java/daikon/inv/unary/scalar/OneOfFloat.java
java/daikon/inv/unary/scalar/OneOfScalar.java
java/daikon/inv/unary/scalar/RangeFloat.java
java/daikon/inv/unary/scalar/RangeInt.java
java/daikon/inv/unary/scalar/UpperBound.java
java/daikon/inv/unary/scalar/UpperBoundFloat.java
java/daikon/inv/unary/sequence/CommonFloatSequence.java
java/daikon/inv/unary/sequence/CommonSequence.java
java/daikon/inv/unary/sequence/EltLowerBound.java
java/daikon/inv/unary/sequence/EltLowerBoundFloat.java
java/daikon/inv/unary/sequence/EltNonZero.java
java/daikon/inv/unary/sequence/EltNonZeroFloat.java
java/daikon/inv/unary/sequence/EltOneOf.java
java/daikon/inv/unary/sequence/EltOneOfFloat.java
java/daikon/inv/unary/sequence/EltRangeFloat.java
java/daikon/inv/unary/sequence/EltRangeInt.java
java/daikon/inv/unary/sequence/EltUpperBound.java
java/daikon/inv/unary/sequence/EltUpperBoundFloat.java
java/daikon/inv/unary/sequence/EltwiseFloatComparison.java
java/daikon/inv/unary/sequence/EltwiseFloatEqual.java
java/daikon/inv/unary/sequence/EltwiseFloatGreaterEqual.java
java/daikon/inv/unary/sequence/EltwiseFloatGreaterThan.java
java/daikon/inv/unary/sequence/EltwiseFloatLessEqual.java
java/daikon/inv/unary/sequence/EltwiseFloatLessThan.java
java/daikon/inv/unary/sequence/EltwiseIntComparison.java
java/daikon/inv/unary/sequence/EltwiseIntEqual.java
java/daikon/inv/unary/sequence/EltwiseIntGreaterEqual.java
java/daikon/inv/unary/sequence/EltwiseIntGreaterThan.java
java/daikon/inv/unary/sequence/EltwiseIntLessEqual.java
java/daikon/inv/unary/sequence/EltwiseIntLessThan.java
java/daikon/inv/unary/sequence/NoDuplicates.java
java/daikon/inv/unary/sequence/NoDuplicatesFloat.java
java/daikon/inv/unary/sequence/OneOfFloatSequence.java
java/daikon/inv/unary/sequence/OneOfSequence.java
java/daikon/inv/unary/sequence/SeqIndexFloatEqual.java
java/daikon/inv/unary/sequence/SeqIndexFloatGreaterEqual.java
java/daikon/inv/unary/sequence/SeqIndexFloatGreaterThan.java
java/daikon/inv/unary/sequence/SeqIndexFloatLessEqual.java
java/daikon/inv/unary/sequence/SeqIndexFloatLessThan.java
java/daikon/inv/unary/sequence/SeqIndexFloatNonEqual.java
java/daikon/inv/unary/sequence/SeqIndexIntEqual.java
java/daikon/inv/unary/sequence/SeqIndexIntGreaterEqual.java
java/daikon/inv/unary/sequence/SeqIndexIntGreaterThan.java
java/daikon/inv/unary/sequence/SeqIndexIntLessEqual.java
java/daikon/inv/unary/sequence/SeqIndexIntLessThan.java
java/daikon/inv/unary/sequence/SeqIndexIntNonEqual.java
java/daikon/inv/unary/string/OneOfString.java
java/daikon/inv/unary/stringsequence/EltOneOfString.java
java/daikon/inv/unary/stringsequence/OneOfStringSequence.java
java/daikon/test/split/SplitterFactoryTest.java

# Scripts
scripts/clgroup
scripts/cluster
scripts/difftbl
scripts/kmeans
scripts/trace-untruncate-fast

# Testing
daikon-direct-output.txt
java/make-check-all-output.txt*
make-check-nullness-raw-output.txt*
make-check-nullness-fbc-output.txt*
tests/chicory-tests/option-tests/DataStructures
tests/chicory-tests/option-tests/StackArTester.dtrace.gz
tests/dyncomp-tests/Apples/Apples
tests/dyncomp-tests/DerivedComparability/DerivedComparability
tests/dyncomp-tests/FloatTest/FloatTest
tests/dyncomp-tests/FunctionParamsTest/FunctionParamsTest
tests/dyncomp-tests/GlibcTest/GlibcTest
tests/dyncomp-tests/IntFromFloatTest/IntFromFloatTest
tests/dyncomp-tests/LocalVarTest/LocalVarTest
tests/dyncomp-tests/Logicals/Logicals
tests/dyncomp-tests/PointerComp/PointerComp
tests/dyncomp-tests/PricesTest/PricesTest
tests/dyncomp-tests/PrintfTest/PrintfTest
tests/dyncomp-tests/SimpleStructTest/SimpleStructTest
tests/dyncomp-tests/StrcpyTest/StrcpyTest
tests/dyncomp-tests/WhatIsInteraction/WhatIsInteraction
tests/kvasir-tests/ArrayTest-cpp/ArrayTest-cpp
tests/kvasir-tests/ArrayTest/ArrayTest
tests/kvasir-tests/ArraysInStructTest/ArraysInStructTest
tests/kvasir-tests/CoercePointerTest/CoercePointerTest
tests/kvasir-tests/ConstMergeTest/ConstMergeTest
tests/kvasir-tests/ConstantTest/ConstantTest
tests/kvasir-tests/CppFunctionTest/CppFunctionTest
tests/kvasir-tests/CppInlineTest/CppInlineTest
tests/kvasir-tests/DisambigTest/DisambigTest
tests/kvasir-tests/Dstr/Dstr
tests/kvasir-tests/ExceptionTest/ExceptionTest
tests/kvasir-tests/FloatTest/FloatTest
tests/kvasir-tests/FunctionNamesTest/FunctionNamesTest
tests/kvasir-tests/GlobalTest/GlobalTest
tests/kvasir-tests/IntTest/IntTest
tests/kvasir-tests/MultiDimArrayTest/MultiDimArrayTest
tests/kvasir-tests/NestedStructTest/NestedStructTest
tests/kvasir-tests/NestedStructVarList/NestedStructVarList
tests/kvasir-tests/PointerTest/PointerTest
tests/kvasir-tests/SelectGlobalsTest/SelectGlobalsTest
tests/kvasir-tests/SimpleClassesTest/SimpleClassesTest
tests/kvasir-tests/SimpleDisambigStructTest/SimpleDisambigStructTest
tests/kvasir-tests/StackArrayCppTest/StackArrayCppTest
tests/kvasir-tests/StackCppTest/StackCppTest
tests/kvasir-tests/StackCppTestInline/StackCppTestInline
tests/kvasir-tests/StaticArraysTest/StaticArraysTest
tests/kvasir-tests/StructPtrTest/StructPtrTest
tests/kvasir-tests/TrivialTest/TrivialTest
tests/kvasir-tests/TypedefTest/TypedefTest
tests/kvasir-tests/TypesTest/TypesTest
tests/kvasir-tests/UnionComp/UnionComp
tests/kvasir-tests/bc/bc
tests/kvasir-tests/bzip2/bzip2
tests/kvasir-tests/bzip2/file.bz2
tests/kvasir-tests/bzip2/libbz2.a
tests/kvasir-tests/crazy-test-1/crazy-test-1
tests/kvasir-tests/dtrace-append/dtrace-append
tests/kvasir-tests/flex-pristine/flex-pristine
tests/kvasir-tests/flex-pristine/lex.yy.c
tests/kvasir-tests/flex-pristine/skel.c
tests/kvasir-tests/flex-rothermel/flex-rothermel
tests/kvasir-tests/flex-rothermel/lex.yy.c
tests/kvasir-tests/flex-rothermel/output
tests/kvasir-tests/function-pointer/function-pointer
tests/kvasir-tests/gtest/gtest
tests/kvasir-tests/gzip/file.gz
tests/kvasir-tests/gzip/gzip
tests/kvasir-tests/inline-func/inline-func
tests/kvasir-tests/iostream-interact/iostream-interact
tests/kvasir-tests/local-ptr/local-ptr
tests/kvasir-tests/md5/md5
tests/kvasir-tests/partial-init/partial-init
tests/kvasir-tests/perl/perl
tests/kvasir-tests/pointer-levels/pointer-levels
tests/kvasir-tests/printf-interact/printf-interact
tests/kvasir-tests/print_tokens/print_tokens
tests/kvasir-tests/print_tokens2/print_tokens2
tests/kvasir-tests/pthread-test/pthread-test
tests/kvasir-tests/rdtsc/rdtsc
tests/kvasir-tests/replace/replace
tests/kvasir-tests/rijndael/cbc_*.txt
tests/kvasir-tests/rijndael/ecb_*.txt
tests/kvasir-tests/rijndael/rijndael
tests/kvasir-tests/setjmp-test/setjmp-test
tests/kvasir-tests/shared-lib/shared-lib
tests/kvasir-tests/shared-lib/liba.so
tests/kvasir-tests/shared-lib/libb.so
tests/kvasir-tests/small-test/small-test
tests/kvasir-tests/space/space
tests/kvasir-tests/static-struct/static-struct
tests/kvasir-tests/string-arrays/string-arrays
tests/kvasir-tests/tcas/tcas
tests/kvasir-tests/tot_info/tot_info
tests/kvasir-tests/two-statics/two-statics
tests/kvasir-tests/virtual-method/virtual-method
tests/kvasir-tests/wordplay/wordplay
tests/merge-invariants-tests/drawlet/drawlet.txt
tests/merge-invariants-tests/drawlet/merge.txt
tests/sources/sources

# Tools
tools/hierarchical/clgroup
tools/hierarchical/cluster
tools/hierarchical/den
tools/hierarchical/difftbl
tools/kmeans/kmeans
tools/kmeans/*.o


examples/**/*.class
examples/**/*.dtrace.gz

tests/**/*.class
tests/**/*.comp
tests/**/*.counts
tests/**/*.decls
tests/**/*.diff
tests/**/*.diff-implementation
tests/**/*.dtrace
tests/**/*.inv.gz
tests/**/*.invs.txt
tests/**/*.map
tests/**/*.o
tests/**/*.out
tests/**/*/ran-kvasir
tests/**/*.txt

tests/daikon-tests/*/scratch
tests/daikon-tests/*/source
tests/parser-tests/*.java-parsed
tests/**/*-jaif.inv.gz
tests/**/*.decls-DynComp
tests/**/*.decls-DynComp.diff
tests/**/*.decls-DynComp-nojdk
tests/**/*.decls-DynComp-nojdk.diff
tests/**/*.inv.gz
tests/**/*.spinfo-static
tests/**/*.spinfo-static.diff
tests/**/*.txt-chicory.diff
tests/**/*.txt-chicory.dtrace
tests/**/*.txt-chicory.dtrace.bak
tests/**/*.txt-cset
tests/**/*.txt-cset.diff
tests/**/*.txt-cset-nojdk
tests/**/*.txt-cset-nojdk.diff
tests/**/*.txt-csharpcontract
tests/**/*.txt-csharpcontract-failed
tests/**/*.txt-csharpcontract.diff
tests/**/*.txt-daikon
tests/**/*.txt-daikon.diff
tests/**/*.txt-daikon-end2end
tests/**/*.txt-daikon-end2end.diff
tests/**/*.txt-esc
tests/**/*.txt-esc.diff
tests/**/*.txt-jaif
tests/**/*.txt-jaif.diff
tests/**/*.txt-jml
tests/**/*.txt-jml.diff
tests/**/*.txt-merge-esc
tests/**/*.txt-merge-esc.diff
tests/**/*.txt-merge-jml
tests/**/*.txt-merge-jml.diff
tests/**/*.txt-simplify
tests/**/*.txt-simplify.diff
tests/**/*.txt-trace
tests/**/*.txt-trace-nojdk
tests/diff-tests/schedule2/schedule2*.map
tests/diff-tests/schedule2/schedule2*.txt
tests/chicory-tests/option-tests/*.txt
tests/**/merged/

# Coverity intermediate files
java/cov-int/