Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. remove tests with problematic file names
Changeset 14379:0c89fe6fc3d9 by Norbert Schirmer _nschirmer@apple.com_:
remove tests with problematic file names
The file was modified thys/AutoCorres2/tests/c-parser/CParserTest.thy
The file was removedthys/AutoCorres2/tests/c-parser/includes/accentedだいがく.h
The file was removedthys/AutoCorres2/tests/c-parser/includes/accented大学.h
The file was removedthys/AutoCorres2/tests/c-parser/includes/accentéd1.h
The file was removedthys/AutoCorres2/tests/c-parser/jiraver224.c
The file was removedthys/AutoCorres2/tests/c-parser/jiraver224.thy