标签： java z3
当我运行Z3的JavaExample.java来测试java绑定时，我收到以下错误：
$scope.cat = [undefined, undefined, undefined,...]
导致这种情况的原因是什么？