Skip to content

Commit

Permalink
refreshing
Browse files Browse the repository at this point in the history
  • Loading branch information
josd committed Mar 8, 2024
1 parent a8cfed5 commit 0f54d6d
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions lingua/test
Original file line number Diff line number Diff line change
Expand Up @@ -13,13 +13,14 @@ echo -e "${YELLOW}Running lingua/test${NORMAL}"
echo -e "${YELLOW}-------------------${NORMAL}"
echo ""

begin=$(($(date +%s)))
for file in *.trig
do
echo -en "${file} ... "
start=$(($(date +%s%N)/1000000))
see --genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/see .. https://eyereasoner.github.io/see/lingua/$file --output output/$file
end=$(($(date +%s%N)/1000000))
echo -en "`expr $end - $start` msec "
echo -en "${YELLOW}`expr $end - $start` msec${NORMAL} "
if [[ $(git diff */$file | wc -l) -eq 0 ]]; then
echo -e "${GREEN}OK${NORMAL}"
((OK++))
Expand All @@ -28,9 +29,10 @@ do
((FAILED++))
fi
done
end=$(($(date +%s)))
echo ""

echo -e "${YELLOW}Tests:${NORMAL} ${GREEN}${OK} OK${NORMAL} ${RED}${FAILED} FAILED${NORMAL}"
echo -e "lingua tests: ${YELLOW}`expr $end - $begin` sec${NORMAL} ${GREEN}${OK} OK${NORMAL} ${RED}${FAILED} FAILED${NORMAL}"
if [[ ${FAILED} -eq 0 ]]; then
exit 0
else
Expand Down

0 comments on commit 0f54d6d

Please sign in to comment.