.gitignore

# Custom entries for the TAJSCheck project:
tests/**/test.js
tests/*/out.txt
cache/*
paper/*
tstajs paper/*
tstest paper/*
test/**/test.js
test/**/small_driver*
ts-spec-reader/node_modules/*
test/**/coverage/*
test/benchmarks/*/coverage.js
build/
experiment.csv
junitvmwatcher*.properties
TEST-*.txt
chromedir

# Created by .ignore support plugin (hsz.mobi)
### JetBrains template
# Covers JetBrains IDEs: IntelliJ, RubyMine, PhpStorm, AppCode, PyCharm, CLion, Android Studio and Webstorm
# Reference: https://intellij-support.jetbrains.com/hc/en-us/articles/206544839

# User-specific stuff:
.idea

## File-based project format:
*.iws

## Plugin-specific files:

# IntelliJ
/out/

# mpeltonen/sbt-idea plugin
.idea_modules/

# JIRA plugin
atlassian-ide-plugin.xml

# Crashlytics plugin (for Android Studio and IntelliJ)
com_crashlytics_export_strings.xml
crashlytics.properties
crashlytics-build.properties
fabric.properties
### Java template
*.class

# Mobile Tools for Java (J2ME)
.mtj.tmp/

# Package Files #
*.war
*.ear

# virtual machine crash logs, see http://www.java.com/en/download/help/error_hotspot.xml
hs_err_pid*

node_modules/
src/CLI.js
src/CLI.js.map
src/TypeScriptEnvironmentReader.js
src/TypeScriptEnvironmentReader.js.map
**/coverage.json
**/*.d.ts.smallest
**/minimizedDriver*.js
**/tmp.html
**/tmp.js.html
artifact/
test/unit/*/coverage.js
*.pptx
*.xlsx
*.txt

# Mac OS thumbnails
.DS_Store

# Gradle 
.gradle

# Result files
finalResult.json
partialResult.json

results/

*.xml