You've already forked gnatstudio
mirror of
https://github.com/AdaCore/gnatstudio.git
synced 2026-02-12 12:42:33 -08:00
7e7831a467
When using a directory such as "C:\User", we didn't properly escape this and Python tried to decode the \U into an unicode characters. Use raw strings to avoid this problem. Augment the adareducer test to check this. For eng/ide/adareducer#40
25 lines
563 B
Batchfile
25 lines
563 B
Batchfile
echo "## TEST HELP"
|
|
gnatstudio_cli adareducer --help | sed -e "s/.exe//"
|
|
echo ""
|
|
|
|
echo "## TEST MISSING PROJECT"
|
|
gnatstudio_cli adareducer
|
|
|
|
# Test that we can accept strings that contain "\U"
|
|
# without Python trying to decode an Unicode char.
|
|
gnatstudio_cli adareducer -P "C:\Users\doesnotexist.gpr" -s "C:\Users\s.sh"
|
|
|
|
echo ""
|
|
echo "## TEST MISSING ORACLE"
|
|
gnatstudio_cli adareducer -P p
|
|
echo ""
|
|
|
|
echo "## TESTING THE ORACLE"
|
|
./oracle.sh
|
|
echo ""
|
|
|
|
echo "## TEST FUNCTIONALITY"
|
|
gnatstudio_cli adareducer -P p -s oracle.sh | grep -v hello.adb
|
|
echo ""
|
|
cat hello.adb
|