Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

F

FrameWorld
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Iterations
- Wiki
- Requirements
- Environments
- Terraform modules
- Incidents

Snippets Groups Projects

cdd55e50

Commit cdd55e50 authored 4 years ago by ComFreek

Downloads
- Patches
- Plain Diff

clean up integration tests

parent 2f880703

Loading

Changes 9

Hide whitespace changes

Inline Side-by-side

Showing

content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Close$Gaps$Test_$Codomain.omdoc.xz 0 additions, 0 deletions

...orld/integrationtests/$Close$Gaps$Test_$Codomain.omdoc.xz
content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Close$Gaps$Test_$Terms$Notepad.omdoc.xz 0 additions, 0 deletions

...integrationtests/$Close$Gaps$Test_$Terms$Notepad.omdoc.xz
content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Expected$Type$Test_$Codomain.omdoc.xz 0 additions, 0 deletions

...d/integrationtests/$Expected$Type$Test_$Codomain.omdoc.xz
errors/mmt-omdoc/IntegrationTests/CloseGapsTests.mmt.err 2 additions, 0 deletions

errors/mmt-omdoc/IntegrationTests/CloseGapsTests.mmt.err
narration/IntegrationTests/CloseGapsTests.omdoc 2 additions, 0 deletions

narration/IntegrationTests/CloseGapsTests.omdoc
narration/IntegrationTests/ExpectedTypeTests.omdoc 1 addition, 1 deletion

narration/IntegrationTests/ExpectedTypeTests.omdoc
relational/IntegrationTests/CloseGapsTests.rel 3 additions, 0 deletions

relational/IntegrationTests/CloseGapsTests.rel
source/IntegrationTests/CloseGapsTests.mmt 6 additions, 0 deletions

source/IntegrationTests/CloseGapsTests.mmt
source/IntegrationTests/ExpectedTypeTests.mmt 6 additions, 0 deletions

source/IntegrationTests/ExpectedTypeTests.mmt

with 20 additions and 1 deletion

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment