Issues
- 0
Docker stack deployed on arm based machines, sometimes causes the backend container to freeze.
#168 opened by mkrumrey - 0
- 0
TodoMVC Example Project Is Not Reachable
#166 opened by ferganyalim - 1
Backend loses connection to the database
#110 opened by abainczyk - 3
Copy & paste test case steps
#55 opened by hkloe - 1
- 1
- 1
- 1
- 1
Restrict browsers and platforms
#119 opened by abainczyk - 1
Aborting learning processes does not work reliably
#111 opened by abainczyk - 0
- 1
Docs: add more information for local setup
#116 opened by abainczyk - 1
Trouble with TodoMvc sample
#123 opened by wilsondy - 0
- 0
- 0
Remove contraint for symbol names to be unique
#105 opened by abainczyk - 1
Add custom header support to webhooks
#76 opened by mkrumrey - 0
Export LTL report as JUnit report
#88 opened by abainczyk - 0
Display project id in project details widget
#114 opened by abainczyk - 0
Pass logs during tests to frontend
#112 opened by abainczyk - 0
Specify data sets for test cases
#104 opened by abainczyk - 0
Default values for symbol parameters
#103 opened by abainczyk - 1
Test ALEX with Docker under Windows 10
#92 opened by mkrumrey - 4
Support CI integration
#86 opened by MazeChaZer - 0
- 0
Lock currently used symbols/tests
#93 opened by mkrumrey - 0
- 1
Add description field to test cases
#57 opened by abainczyk - 1
Add formula suites to a learning setup
#82 opened by abainczyk - 2
Make learner setups addressable by name
#85 opened by MazeChaZer - 1
Include learner setups when exporting a project
#83 opened by abainczyk - 1
FIx Travis Tests related to WebSockets
#72 opened by mkrumrey - 0
- 0
Export LTL Formulas
#78 opened by abainczyk - 1
- 1
Make webhook trigger events more specific
#77 opened by mkrumrey - 1
Resume Learning with non-default environment
#73 opened by lmoellering - 2
Could not load image 'foo.svg'
#67 opened by fetchandadd - 0
- 1
- 3
Project import fails with 401
#59 opened by Benuhx - 3
Resume learning with counterexample
#62 opened by lmoellering - 1
Symbol search does not find symbols in Subgroup
#60 opened by Benuhx - 3
- 6
- 3
Bug: Project import fails with 401
#51 opened by Benuhx - 1
Search and select actions
#52 opened by lmoellering - 1
Remove post symbol for learning
#53 opened by lmoellering - 1
Bug: A user with the email already exists
#50 opened by Benuhx