Viewpoint test checker: lost receiver invoke poly receiver method - #1173
Open
aosen-xiong wants to merge 37 commits into
Open
Viewpoint test checker: lost receiver invoke poly receiver method#1173aosen-xiong wants to merge 37 commits into
aosen-xiong wants to merge 37 commits into
Annotations
6 errors and 10 warnings
|
Run test script checker/bin-devel/test-cftests-nonjunit
[argument.type.incompatible] incompatible argument for parameter arg0 of Set.add" Out.txt
|
|
Run test script checker/bin-devel/test-cftests-nonjunit
[argument.type.incompatible] incompatible argument for parameter name of Demo.generateGreeting." Out.txt) \
|
|
Run test script checker/bin-devel/test-cftests-nonjunit
[assignment.type.incompatible] incompatible types in assignment." Out.txt || (echo "FAILURE. Here is file Out.txt:" && cat Out.txt && echo "End of file Out.txt." && false)
|
|
Run test script checker/bin-devel/test-cftests-nonjunit
[argument.type.incompatible] incompatible argument for parameter arg0 of Set.add." Out.txt
|
|
Run test script checker/bin-devel/test-cftests-nonjunit
[assignment.type.incompatible] incompatible types in assignment." Out.txt \
|
|
Run test script checker/bin-devel/test-cftests-nonjunit
[argument.type.incompatible] incompatible argument for parameter y of FooBuilder.y." Out.txt \
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Run test script checker/bin-devel/test-cftests-nonjunit
[CollectionIncompatibleType] Argument 'i - 1' should not be passed to this method; its type int is not compatible with its collection's type argument Short" Out.txt
|
background
wait
wait-all
cancel
parallel
Loading