jpf-symbc build issues

195 views
Skip to first unread message

adam ali

unread,
May 15, 2013, 12:27:14 PM5/15/13
to java-pa...@googlegroups.com
Hello, I have successfully imported the jpf-symbc project however I am getting a few errors when trying to build the project. It is complaining about missing libraries:

import latte.LatteException;

import omega.exceptions.OmegaException;

import org.antlr.runtime.RecognitionException;

import org.apache.commons.io.FileUtils;

import utils.BigRational;

import utils.Configuration;

import analysis.AnalysisException;

import analysis.Analyzer;

import analysis.DummyUniformSettings;

import analysis.ParallelAnalyzer;

import analysis.SchedulesHolder;

import analysis.SchedulesHolder.Schedule;

import analysis.SchedulesHolder.ScheduleStatistics;

import analysis.SequentialAnalyzer;

import com.google.common.collect.Sets;

import domain.ProblemSetting;

import domain.exceptions.InvalidUsageProfileException;


I am not sure if there is an external library I need to add but I cannot seem to find any documentation on the jpf project site. Any help would be appreciated. The error log is posted below:


  [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:21: error: package latte does not exist

    [javac] import latte.LatteException;

    [javac]             ^

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:22: error: package omega.exceptions does not exist

    [javac] import omega.exceptions.OmegaException;

    [javac]                        ^

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:24: error: package org.antlr.runtime does not exist

    [javac] import org.antlr.runtime.RecognitionException;

    [javac]                         ^

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:25: error: package org.apache.commons.io does not exist

    [javac] import org.apache.commons.io.FileUtils;

    [javac]                             ^

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:28: error: package utils does not exist

    [javac] import utils.BigRational;

    [javac]             ^

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:29: error: package utils does not exist

    [javac] import utils.Configuration;

    [javac]             ^

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:30: error: package analysis does not exist

    [javac] import analysis.AnalysisException;

    [javac]                ^

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:31: error: package analysis does not exist

    [javac] import analysis.Analyzer;

    [javac]                ^

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:32: error: package analysis does not exist

    [javac] import analysis.DummyUniformSettings;

    [javac]                ^

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:33: error: package analysis does not exist

    [javac] import analysis.ParallelAnalyzer;

    [javac]                ^

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:34: error: package analysis does not exist

    [javac] import analysis.SchedulesHolder;

    [javac]                ^

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:35: error: package analysis.SchedulesHolder does not exist

    [javac] import analysis.SchedulesHolder.Schedule;

    [javac]                                ^

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:36: error: package analysis.SchedulesHolder does not exist

    [javac] import analysis.SchedulesHolder.ScheduleStatistics;

    [javac]                                ^

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:37: error: package analysis does not exist

    [javac] import analysis.SequentialAnalyzer;

    [javac]                ^

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:39: error: package com.google.common.collect does not exist

    [javac] import com.google.common.collect.Sets;

    [javac]                                 ^

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:41: error: package domain does not exist

    [javac] import domain.ProblemSetting;

    [javac]              ^

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:42: error: package domain.exceptions does not exist

    [javac] import domain.exceptions.InvalidUsageProfileException;

    [javac]                         ^

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:53: error: cannot find symbol

    [javac] private final SchedulesHolder schedulesHolder;

    [javac]               ^

    [javac]   symbol:   class SchedulesHolder

    [javac]   location: class AntoniosListener

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:59: error: cannot find symbol

    [javac] private Analyzer analyzer = null;

    [javac]         ^

    [javac]   symbol:   class Analyzer

    [javac]   location: class AntoniosListener

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:348: error: cannot find symbol

    [javac] private static class SchedulesComparator implements Comparator<Schedule>{

    [javac]                                                                ^

    [javac]   symbol:   class Schedule

    [javac]   location: class AntoniosListener

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:350: error: cannot find symbol

    [javac] private final SchedulesHolder schedulesHolder;

    [javac]               ^

    [javac]   symbol:   class SchedulesHolder

    [javac]   location: class SchedulesComparator

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:353: error: cannot find symbol

    [javac] public SchedulesComparator(SchedulesHolder schedulesHolder, Mood mood) {

    [javac]                            ^

    [javac]   symbol:   class SchedulesHolder

    [javac]   location: class SchedulesComparator

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:359: error: cannot find symbol

    [javac] public SchedulesComparator(SchedulesHolder schedulesHolder){

    [javac]                            ^

    [javac]   symbol:   class SchedulesHolder

    [javac]   location: class SchedulesComparator

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:364: error: cannot find symbol

    [javac] public int compare(Schedule o1, Schedule o2) {

    [javac]                    ^

    [javac]   symbol:   class Schedule

    [javac]   location: class SchedulesComparator

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:364: error: cannot find symbol

    [javac] public int compare(Schedule o1, Schedule o2) {

    [javac]                                 ^

    [javac]   symbol:   class Schedule

    [javac]   location: class SchedulesComparator

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:390: error: cannot find symbol

    [javac] private int countSwitches(Schedule schedule){

    [javac]                           ^

    [javac]   symbol:   class Schedule

    [javac]   location: class SchedulesComparator

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:401: error: cannot find symbol

    [javac] private BigRational getOptimisticScore(Schedule schedule){

    [javac]                                        ^

    [javac]   symbol:   class Schedule

    [javac]   location: class SchedulesComparator

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:401: error: cannot find symbol

    [javac] private BigRational getOptimisticScore(Schedule schedule){

    [javac]         ^

    [javac]   symbol:   class BigRational

    [javac]   location: class SchedulesComparator

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:406: error: cannot find symbol

    [javac] private BigRational getPessimisticScore(Schedule schedule){

    [javac]                                         ^

    [javac]   symbol:   class Schedule

    [javac]   location: class SchedulesComparator

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:406: error: cannot find symbol

    [javac] private BigRational getPessimisticScore(Schedule schedule){

    [javac]         ^

    [javac]   symbol:   class BigRational

    [javac]   location: class SchedulesComparator

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:411: error: cannot find symbol

    [javac] private BigRational getIndifferentScore(Schedule schedule){

    [javac]                                         ^

    [javac]   symbol:   class Schedule

    [javac]   location: class SchedulesComparator

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:411: error: cannot find symbol

    [javac] private BigRational getIndifferentScore(Schedule schedule){

    [javac]         ^

    [javac]   symbol:   class BigRational

    [javac]   location: class SchedulesComparator

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:65: error: cannot find symbol

    [javac] this.schedulesHolder = new SchedulesHolder();

    [javac]                            ^

    [javac]   symbol:   class SchedulesHolder

    [javac]   location: class AntoniosListener

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:94: error: cannot find symbol

    [javac] Configuration configuration = new Configuration();

    [javac] ^

    [javac]   symbol:   class Configuration

    [javac]   location: class AntoniosListener

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:94: error: cannot find symbol

    [javac] Configuration configuration = new Configuration();

    [javac]                                   ^

    [javac]   symbol:   class Configuration

    [javac]   location: class AntoniosListener

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:104: error: cannot find symbol

    [javac] ProblemSetting problemSettings = null;

    [javac] ^

    [javac]   symbol:   class ProblemSetting

    [javac]   location: class AntoniosListener

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:113: error: cannot find symbol

    [javac] DummyUniformSettings dummyUniformSettings = new DummyUniformSettings(

    [javac] ^

    [javac]   symbol:   class DummyUniformSettings

    [javac]   location: class AntoniosListener

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:113: error: cannot find symbol

    [javac] DummyUniformSettings dummyUniformSettings = new DummyUniformSettings(

    [javac]                                                 ^

    [javac]   symbol:   class DummyUniformSettings

    [javac]   location: class AntoniosListener

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:117: error: cannot find symbol

    [javac] problemSettings = dummyUniformSettings.generateFromTraces(Sets

    [javac]                                                           ^

    [javac]   symbol:   variable Sets

    [javac]   location: class AntoniosListener

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:119: error: cannot find symbol

    [javac] } catch (RecognitionException e) {

    [javac]          ^

    [javac]   symbol:   class RecognitionException

    [javac]   location: class AntoniosListener

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:121: error: cannot find symbol

    [javac] } catch (InvalidUsageProfileException e) {

    [javac]          ^

    [javac]   symbol:   class InvalidUsageProfileException

    [javac]   location: class AntoniosListener

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:133: error: cannot find symbol

    [javac] problemSettings = ProblemSetting

    [javac]                   ^

    [javac]   symbol:   variable ProblemSetting

    [javac]   location: class AntoniosListener

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:139: error: cannot find symbol

    [javac] } catch (RecognitionException e) {

    [javac]          ^

    [javac]   symbol:   class RecognitionException

    [javac]   location: class AntoniosListener

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:155: error: cannot find symbol

    [javac] analyzer = new SequentialAnalyzer(configuration,

    [javac]                ^

    [javac]   symbol:   class SequentialAnalyzer

    [javac]   location: class AntoniosListener

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:162: error: cannot find symbol

    [javac] analyzer = new SequentialAnalyzer(configuration,

    [javac]                ^

    [javac]   symbol:   class SequentialAnalyzer

    [javac]   location: class AntoniosListener

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:170: error: cannot find symbol

    [javac] analyzer = new ParallelAnalyzer(configuration,

    [javac]                ^

    [javac]   symbol:   class ParallelAnalyzer

    [javac]   location: class AntoniosListener

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:181: error: cannot find symbol

    [javac] } catch (AnalysisException e) {

    [javac]          ^

    [javac]   symbol:   class AnalysisException

    [javac]   location: class AntoniosListener

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:183: error: cannot find symbol

    [javac] } catch (LatteException e) {

    [javac]          ^

    [javac]   symbol:   class LatteException

    [javac]   location: class AntoniosListener

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:187: error: cannot find symbol

    [javac] } catch (OmegaException e) {

    [javac]          ^

    [javac]   symbol:   class OmegaException

    [javac]   location: class AntoniosListener

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:189: error: cannot find symbol

    [javac] } catch (RecognitionException e) {

    [javac]          ^

    [javac]   symbol:   class RecognitionException

    [javac]   location: class AntoniosListener

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:204: error: cannot find symbol

    [javac] FileUtils.deleteDirectory(new File(this.temporaryWorkingDir));

    [javac] ^

    [javac]   symbol:   variable FileUtils

    [javac]   location: class AntoniosListener

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:214: error: cannot find symbol

    [javac] Set<Schedule> allSchedules = schedulesHolder.getAllSchedules();

    [javac]     ^

    [javac]   symbol:   class Schedule

    [javac]   location: class AntoniosListener

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:216: error: cannot find symbol

    [javac] Set<Schedule> maximalSchedules = schedulesHolder.getMaximalSchedules();

    [javac]     ^

    [javac]   symbol:   class Schedule

    [javac]   location: class AntoniosListener

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:221: error: cannot find symbol

    [javac] ArrayList<Schedule> sortedSchedules = new ArrayList<SchedulesHolder.Schedule>(maximalSchedules);

    [javac]           ^

    [javac]   symbol:   class Schedule

    [javac]   location: class AntoniosListener

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:221: error: package SchedulesHolder does not exist

    [javac] ArrayList<Schedule> sortedSchedules = new ArrayList<SchedulesHolder.Schedule>(maximalSchedules);

    [javac]                                                                    ^

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:224: error: cannot find symbol

    [javac] for (Schedule schedule : maximalSchedules) {

    [javac]      ^

    [javac]   symbol:   class Schedule

    [javac]   location: class AntoniosListener

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:261: error: cannot find symbol

    [javac] Set<Schedule> maximalSchedules = schedulesHolder.getMaximalSchedules();

    [javac]     ^

    [javac]   symbol:   class Schedule

    [javac]   location: class AntoniosListener

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:262: error: cannot find symbol

    [javac] for(Schedule schedule : maximalSchedules){

    [javac]     ^

    [javac]   symbol:   class Schedule

    [javac]   location: class AntoniosListener

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:279: error: cannot find symbol

    [javac] Schedule currentSchedule = new Schedule(

    [javac] ^

    [javac]   symbol:   class Schedule

    [javac]   location: class AntoniosListener

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:279: error: cannot find symbol

    [javac] Schedule currentSchedule = new Schedule(

    [javac]                                ^

    [javac]   symbol:   class Schedule

    [javac]   location: class AntoniosListener

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:298: error: cannot find symbol

    [javac] Schedule currentSchedule = new Schedule(

    [javac] ^

    [javac]   symbol:   class Schedule

    [javac]   location: class AntoniosListener

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:298: error: cannot find symbol

    [javac] Schedule currentSchedule = new Schedule(

    [javac]                                ^

    [javac]   symbol:   class Schedule

    [javac]   location: class AntoniosListener

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:365: error: cannot find symbol

    [javac] BigRational score1,score2;

    [javac] ^

    [javac]   symbol:   class BigRational

    [javac]   location: class SchedulesComparator

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:402: error: cannot find symbol

    [javac] ScheduleStatistics stats = schedulesHolder.getStatisticsPerSchedule(schedule);

    [javac] ^

    [javac]   symbol:   class ScheduleStatistics

    [javac]   location: class SchedulesComparator

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:407: error: cannot find symbol

    [javac] ScheduleStatistics stats = schedulesHolder.getStatisticsPerSchedule(schedule);

    [javac] ^

    [javac]   symbol:   class ScheduleStatistics

    [javac]   location: class SchedulesComparator

    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\AntoniosListener.java:412: error: cannot find symbol

    [javac] ScheduleStatistics stats = schedulesHolder.getStatisticsPerSchedule(schedule);

    [javac] ^

    [javac]   symbol:   class ScheduleStatistics

    [javac]   location: class SchedulesComparator

adam ali

unread,
May 15, 2013, 12:53:47 PM5/15/13
to java-pa...@googlegroups.com
I tried re cloning the default version of jpf-core and then the default of jpf-symbc (as previous threads have suggested) but I am still getting the same build issues.

João Matos

unread,
May 15, 2013, 1:09:56 PM5/15/13
to java-pa...@googlegroups.com
Hi,

the error log you posted is complete? If so, it seems that JPF is complaining solely about AntoniosListener.java. Do you need this listener? 

adam ali

unread,
May 15, 2013, 1:32:45 PM5/15/13
to java-pa...@googlegroups.com
Yes, it would seem that I do. Those are the only errors that I am getting when trying to build jpf-symbc. The rest are just warnings. How should I proceed to fix this issue?

adam ali

unread,
May 15, 2013, 2:04:04 PM5/15/13
to java-pa...@googlegroups.com
Here is the complete console output in case that helps:

Buildfile: C:\Users\MacHD\workspace\jpf-symbc\build.xml
-init:
    [mkdir] Created dir: C:\Users\MacHD\workspace\jpf-symbc\build
-compile-annotations:
    [mkdir] Created dir: C:\Users\MacHD\workspace\jpf-symbc\build\annotations
    [javac] C:\Users\MacHD\workspace\jpf-symbc\build.xml:113: warning: 'includeantruntime' was not set, defaulting to build.sysclasspath=last; set to false for repeatable builds
    [javac] Compiling 4 source files to C:\Users\MacHD\workspace\jpf-symbc\build\annotations
    [javac] warning: [options] bootstrap class path not set in conjunction with -source 1.6
    [javac] 1 warning
-compile-main:
    [mkdir] Created dir: C:\Users\MacHD\workspace\jpf-symbc\build\main
    [javac] C:\Users\MacHD\workspace\jpf-symbc\build.xml:120: warning: 'includeantruntime' was not set, defaulting to build.sysclasspath=last; set to false for repeatable builds
    [javac] Compiling 237 source files to C:\Users\MacHD\workspace\jpf-symbc\build\main
    [javac] warning: [options] bootstrap class path not set in conjunction with -source 1.6
    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\DCMPG.java:50: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
    [javac] ((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
    [javac]                                                          ^
    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\DCMPL.java:50: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
    [javac] ((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
    [javac]                                                          ^
    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\DDIV.java:79: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
    [javac] ((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
    [javac]                                                          ^
    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\FCMPG.java:54: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
    [javac] ((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
    [javac]                                                          ^
    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\FCMPL.java:54: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
    [javac] ((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
    [javac]                                                          ^
    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\FDIV.java:78: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
    [javac] ((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
    [javac]                                                          ^
    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\IDIV.java:63: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
    [javac] ((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
    [javac]                                                          ^
    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\IFEQ.java:62: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
    [javac] ((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
    [javac]                                                          ^
    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\IFGE.java:54: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
    [javac] ((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
    [javac]                                                          ^
    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\IFGT.java:55: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
    [javac] ((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
    [javac]                                                          ^
    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\IFLE.java:55: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
    [javac] ((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
    [javac]                                                          ^
    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\IFLT.java:54: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
    [javac] ((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
    [javac]                                                          ^
    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\IFNE.java:61: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
    [javac] ((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
    [javac]                                                          ^
    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\IF_ICMPEQ.java:53: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
    [javac] ((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
    [javac]                                                          ^
    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\IF_ICMPGE.java:52: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
    [javac] ((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
    [javac]                                                          ^
    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\IF_ICMPGT.java:53: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
    [javac] ((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
    [javac]                                                          ^
    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\IF_ICMPLE.java:51: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
    [javac] ((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
    [javac]                                                          ^
    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\IF_ICMPLT.java:50: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
    [javac] ((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
    [javac]                                                          ^
    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\IF_ICMPNE.java:51: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
    [javac] ((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
    [javac]                                                          ^
    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\IREM.java:62: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
    [javac] ((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
    [javac]                                                          ^
    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\LCMP.java:56: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
    [javac] ((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
    [javac]                                                          ^
    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\LDIV.java:70: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
    [javac] ((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
    [javac]                                                          ^
    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\SwitchInstruction.java:58: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
    [javac] ((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
    [javac]                                                          ^
    [javac] C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\TABLESWITCH.java:63: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
    [javac] ((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
    [javac]                                                          ^
    [javac] Note: C:\Users\MacHD\workspace\jpf-symbc\src\main\gov\nasa\jpf\symbc\sequences\SymbolicSequenceListener.java uses unchecked or unsafe operations.
    [javac] Note: Recompile with -Xlint:unchecked for details.
    [javac] 66 errors
    [javac] 25 warnings

BUILD FAILED
C:\Users\MacHD\workspace\jpf-symbc\build.xml:120: Compile failed; see the compiler error output for details.

Total time: 3 seconds

João Matos

unread,
May 15, 2013, 2:14:50 PM5/15/13
to java-pa...@googlegroups.com
That also happened to me when I started using JPF, but since I do not need that AntoniosListener.java for my work I simply removed it from the build. The problem
with that listener is that those classes do not exist in the project (ScheduleHolder, SequentialAnalyser, etc). I think there is a package or a jar missing from jpf-symbc repository. 
Sorry I couldn't be more helpful.

adam ali

unread,
May 15, 2013, 2:28:02 PM5/15/13
to java-pa...@googlegroups.com
Thanks. I removed the AntoniosListener.java and it built. I don't think I will need it either but if I do I will inquire about the missing libraries. Thanks!

Corina Pasareanu

unread,
May 16, 2013, 3:36:56 AM5/16/13
to java-pa...@googlegroups.com
thanks
ill remove it from the repo
corina


--
 
---
You received this message because you are subscribed to the Google Groups "Java™ Pathfinder" group.
To unsubscribe from this group and stop receiving emails from it, send an email to java-pathfind...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.
 
 

tejas shah

unread,
Jul 8, 2013, 4:39:39 AM7/8/13
to java-pa...@googlegroups.com
I recently cloned jpf-core and jpf-symbc as per the instructions. I'm using Net Beans 7.3.1 IDE. Followed the instructions properly for it's plugin as well. On building the jpf-symbc i'm getting the following output. I tried fresh cloning of symbc it didn't help. Any help will be highly appreciated.

OUTPUT:

ant -f C:\\Users\\WebWeave\\projects\\jpf-symbc clean build
clean:
Deleting directory C:\Users\WebWeave\projects\jpf-symbc\build
Created dir: C:\Users\WebWeave\projects\jpf-symbc\build
Created dir: C:\Users\WebWeave\projects\jpf-symbc\build\annotations
C:\Users\WebWeave\projects\jpf-symbc\build.xml:113: warning: 'includeantruntime' was not set, defaulting to build.sysclasspath=last; set to false for repeatable builds
Compiling 4 source files to C:\Users\WebWeave\projects\jpf-symbc\build\annotations
warning: [options] bootstrap class path not set in conjunction with -source 1.6
1 warning
Created dir: C:\Users\WebWeave\projects\jpf-symbc\build\main
C:\Users\WebWeave\projects\jpf-symbc\build.xml:120: warning: 'includeantruntime' was not set, defaulting to build.sysclasspath=last; set to false for repeatable builds
Compiling 236 source files to C:\Users\WebWeave\projects\jpf-symbc\build\main
warning: [options] bootstrap class path not set in conjunction with -source 1.6
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\HeuristicListener.java:27: error: cannot find symbol
import gov.nasa.jpf.jvm.ChoiceGenerator;
  symbol:   class ChoiceGenerator
  location: package gov.nasa.jpf.jvm
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:32: error: cannot find symbol
import gov.nasa.jpf.jvm.ClassInfo;
  symbol:   class ClassInfo
  location: package gov.nasa.jpf.jvm
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:33: error: cannot find symbol
import gov.nasa.jpf.jvm.bytecode.Instruction;
  symbol:   class Instruction
  location: package gov.nasa.jpf.jvm.bytecode
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:45: error: cannot find symbol
 public Instruction aload(int localVarIndex) {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:51: error: cannot find symbol
 public Instruction aload_0() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:56: error: cannot find symbol
 public Instruction aload_1() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:61: error: cannot find symbol
 public Instruction aload_2() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:66: error: cannot find symbol
 public Instruction aload_3() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:71: error: cannot find symbol
 public Instruction iadd() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:76: error: cannot find symbol
 public Instruction iand() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:81: error: cannot find symbol
 public Instruction iinc(int localVarIndex, int incConstant) {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:86: error: cannot find symbol
 public Instruction isub() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:91: error: cannot find symbol
 public Instruction imul() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:96: error: cannot find symbol
 public Instruction ineg() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:101: error: cannot find symbol
 public Instruction ifle(int targetPc) {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:106: error: cannot find symbol
 public Instruction iflt(int targetPc) {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:111: error: cannot find symbol
 public Instruction ifge(int targetPc) {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:116: error: cannot find symbol
 public Instruction ifgt(int targetPc) {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:121: error: cannot find symbol
 public Instruction ifeq(int targetPc) {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:126: error: cannot find symbol
 public Instruction ifne(int targetPc) {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:131: error: cannot find symbol
 public Instruction invokestatic(String clsName, String methodName, String methodSignature) {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:137: error: cannot find symbol
 public Instruction invokevirtual(String clsName, String methodName, String methodSignature) {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:141: error: cannot find symbol
 public Instruction invokeinterface(String clsName, String methodName, String methodSignature) {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:145: error: cannot find symbol
 public Instruction invokespecial(String clsName, String methodName, String methodSignature) {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:150: error: cannot find symbol
 public Instruction if_icmpge(int targetPc) {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:155: error: cannot find symbol
 public Instruction if_icmpgt(int targetPc) {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:160: error: cannot find symbol
 public Instruction if_icmple(int targetPc) {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:165: error: cannot find symbol
 public Instruction if_icmplt(int targetPc) {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:170: error: cannot find symbol
 public Instruction idiv() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:175: error: cannot find symbol
 public Instruction ishl() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:180: error: cannot find symbol
 public Instruction ishr() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:185: error: cannot find symbol
 public Instruction iushr() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:190: error: cannot find symbol
 public Instruction ixor() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:195: error: cannot find symbol
 public Instruction ior() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:200: error: cannot find symbol
 public Instruction irem() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:205: error: cannot find symbol
 public Instruction if_icmpeq(int targetPc) {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:210: error: cannot find symbol
 public Instruction if_icmpne(int targetPc) {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:216: error: cannot find symbol
 public Instruction fadd() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:221: error: cannot find symbol
 public Instruction fdiv() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:226: error: cannot find symbol
 public Instruction fmul() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:231: error: cannot find symbol
 public Instruction fneg() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:236: error: cannot find symbol
 public Instruction frem() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:241: error: cannot find symbol
 public Instruction fsub() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:246: error: cannot find symbol
 public Instruction fcmpg() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:252: error: cannot find symbol
 public Instruction fcmpl() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:257: error: cannot find symbol
 public Instruction dadd() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:262: error: cannot find symbol
 public Instruction dcmpg() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:267: error: cannot find symbol
 public Instruction dcmpl() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:272: error: cannot find symbol
 public Instruction ddiv() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:277: error: cannot find symbol
 public Instruction dmul() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:282: error: cannot find symbol
 public Instruction dneg() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:287: error: cannot find symbol
 public Instruction drem() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:292: error: cannot find symbol
 public Instruction dsub() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:297: error: cannot find symbol
 public Instruction ladd() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:302: error: cannot find symbol
 public Instruction land() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:307: error: cannot find symbol
 public Instruction lcmp() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:312: error: cannot find symbol
 public Instruction ldiv() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:317: error: cannot find symbol
 public Instruction lmul() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:322: error: cannot find symbol
 public Instruction lneg() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:327: error: cannot find symbol
 public Instruction lor() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:332: error: cannot find symbol
 public Instruction lrem() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:337: error: cannot find symbol
 public Instruction lshl() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:342: error: cannot find symbol
 public Instruction lshr() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:347: error: cannot find symbol
 public Instruction lsub() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:352: error: cannot find symbol
 public Instruction lushr() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:357: error: cannot find symbol
 public Instruction lxor() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:362: error: cannot find symbol
 public Instruction i2d() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:367: error: cannot find symbol
 public Instruction d2i() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:372: error: cannot find symbol
 public Instruction d2l() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:377: error: cannot find symbol
 public Instruction i2f() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:382: error: cannot find symbol
 public Instruction l2d() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:387: error: cannot find symbol
 public Instruction l2f() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:392: error: cannot find symbol
 public Instruction f2l() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:397: error: cannot find symbol
 public Instruction f2i() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:402: error: cannot find symbol
 public Instruction lookupswitch(int defaultTargetPc, int nEntries) {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:407: error: cannot find symbol
 public Instruction tableswitch(int defaultTargetPc, int low, int high) {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:412: error: cannot find symbol
 public Instruction d2f() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:417: error: cannot find symbol
 public Instruction f2d() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:422: error: cannot find symbol
 public Instruction i2b() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:427: error: cannot find symbol
 public Instruction i2c() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:432: error: cannot find symbol
 public Instruction i2s() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:437: error: cannot find symbol
 public Instruction i2l() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:442: error: cannot find symbol
 public Instruction l2i() {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:447: error: cannot find symbol
 public Instruction getfield(String fieldName, String clsName, String fieldDescriptor){
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:451: error: cannot find symbol
 public Instruction getstatic(String fieldName, String clsName, String fieldDescriptor){
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:459: error: cannot find symbol
 public Instruction new_(String clsName) {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:463: error: cannot find symbol
 public Instruction ifnonnull(int targetPc) {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:467: error: cannot find symbol
 public Instruction ifnull(int targetPc) {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:471: error: cannot find symbol
 public Instruction newarray(int typeCode) {
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:475: error: cannot find symbol
 public Instruction multianewarray(String clsName, int dimensions){
        ^
  symbol:   class Instruction
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:514: error: cannot find symbol
ClassInfo ci;
^
  symbol:   class ClassInfo
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:518: error: cannot find symbol
public void setClassInfoContext(ClassInfo ci){
                                ^
  symbol:   class ClassInfo
  location: class SymbolicInstructionFactory
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicListener.java:27: error: cannot find symbol
import gov.nasa.jpf.jvm.ChoiceGenerator;
  symbol:   class ChoiceGenerator
  location: package gov.nasa.jpf.jvm
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicListener.java:28: error: cannot find symbol
import gov.nasa.jpf.jvm.ClassInfo;
  symbol:   class ClassInfo
  location: package gov.nasa.jpf.jvm
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicListener.java:31: error: cannot find symbol
import gov.nasa.jpf.jvm.JVM;
  symbol:   class JVM
  location: package gov.nasa.jpf.jvm
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicListener.java:33: error: cannot find symbol
import gov.nasa.jpf.jvm.MethodInfo;
  symbol:   class MethodInfo
  location: package gov.nasa.jpf.jvm
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicListener.java:35: error: cannot find symbol
import gov.nasa.jpf.jvm.DynamicElementInfo;
  symbol:   class DynamicElementInfo
  location: package gov.nasa.jpf.jvm
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicListener.java:36: error: cannot find symbol
import gov.nasa.jpf.jvm.LocalVarInfo;
  symbol:   class LocalVarInfo
  location: package gov.nasa.jpf.jvm
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicListener.java:37: error: cannot find symbol
import gov.nasa.jpf.jvm.StackFrame;
  symbol:   class StackFrame
  location: package gov.nasa.jpf.jvm
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\SymbolicListener.java:38: error: cannot find symbol
import gov.nasa.jpf.jvm.SystemState;
  symbol:   class SystemState
  location: package gov.nasa.jpf.jvm
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\DCMPG.java:50: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
                                                         ^
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\DCMPL.java:50: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
                                                         ^
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\DDIV.java:79: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
                                                         ^
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\FCMPG.java:54: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
                                                         ^
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\FCMPL.java:54: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
                                                         ^
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\FDIV.java:78: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
                                                         ^
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\IDIV.java:63: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
                                                         ^
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\IFEQ.java:62: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
                                                         ^
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\IFGE.java:54: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
                                                         ^
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\IFGT.java:55: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
                                                         ^
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\IFLE.java:55: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
                                                         ^
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\IFLT.java:54: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
                                                         ^
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\IFNE.java:61: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
                                                         ^
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\IF_ICMPEQ.java:53: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
                                                         ^
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\IF_ICMPGE.java:52: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
                                                         ^
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\IF_ICMPGT.java:53: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
                                                         ^
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\IF_ICMPLE.java:51: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
                                                         ^
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\IF_ICMPLT.java:50: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
                                                         ^
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\IF_ICMPNE.java:51: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
                                                         ^
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\IREM.java:62: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
                                                         ^
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\LCMP.java:56: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
                                                         ^
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\LDIV.java:70: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
                                                         ^
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\SwitchInstruction.java:58: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
                                                         ^
C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\bytecode\TABLESWITCH.java:63: warning: [deprecation] getCompleteName() in MethodInfo has been deprecated
((PCChoiceGenerator)cg).setMethodName(this.getMethodInfo().getCompleteName());
                                                         ^
Note: C:\Users\WebWeave\projects\jpf-symbc\src\main\gov\nasa\jpf\symbc\sequences\SymbolicSequenceListener.java uses unchecked or unsafe operations.
Note: Recompile with -Xlint:unchecked for details.
100 errors
25 warnings
C:\Users\WebWeave\projects\jpf-symbc\build.xml:120: Compile failed; see the compiler error output for details.
BUILD FAILED (total time: 11 seconds)
 
 

Corina Pasareanu

unread,
Jul 8, 2013, 3:44:27 PM7/8/13
to java-pa...@googlegroups.com
hi
please use jpf-core v6
hg clone …
hg update v6
jpf-symbc does not work with the recently updated jpf-core
thanks
corina



 
 

--

Corina Pasareanu

unread,
Jul 8, 2013, 3:46:59 PM7/8/13
to java-pa...@googlegroups.com
Hi
I have updated the instructions for jpf-symbc to use jpf-core *v6*.
Thank you for your understanding.

Corina


On Mon, Jul 8, 2013 at 1:39 AM, tejas shah <teja...@gmail.com> wrote:
 
 

--

Corina Pasareanu

unread,
Jul 8, 2013, 3:49:01 PM7/8/13
to java-pa...@googlegroups.com
ps: you can play with jpf-symbc v7 (a separate branch from default) but that is not tested yet.
thank you for your patience and understanding

corina

tejas shah

unread,
Jul 8, 2013, 4:42:03 PM7/8/13
to java-pa...@googlegroups.com
Thanks for the reply Corina. I'm still getting a host of warnings. How can I eliminate them? Thanks once again

ant -f C:\\Users\\WebWeave\\projects\\jpf-symbc clean build
clean:
Created dir: C:\Users\WebWeave\projects\jpf-symbc\build
Created dir: C:\Users\WebWeave\projects\jpf-symbc\build\annotations
C:\Users\WebWeave\projects\jpf-symbc\build.xml:113: warning: 'includeantruntime' was not set, defaulting to build.sysclasspath=last; set to false for repeatable builds
Compiling 4 source files to C:\Users\WebWeave\projects\jpf-symbc\build\annotations
warning: [options] bootstrap class path not set in conjunction with -source 1.6
1 warning
Created dir: C:\Users\WebWeave\projects\jpf-symbc\build\main
C:\Users\WebWeave\projects\jpf-symbc\build.xml:120: warning: 'includeantruntime' was not set, defaulting to build.sysclasspath=last; set to false for repeatable builds
Compiling 236 source files to C:\Users\WebWeave\projects\jpf-symbc\build\main
warning: [options] bootstrap class path not set in conjunction with -source 1.6
25 warnings
Created dir: C:\Users\WebWeave\projects\jpf-symbc\build\peers
C:\Users\WebWeave\projects\jpf-symbc\build.xml:127: warning: 'includeantruntime' was not set, defaulting to build.sysclasspath=last; set to false for repeatable builds
Compiling 6 source files to C:\Users\WebWeave\projects\jpf-symbc\build\peers
warning: [options] bootstrap class path not set in conjunction with -source 1.6
1 warning
Created dir: C:\Users\WebWeave\projects\jpf-symbc\build\classes
C:\Users\WebWeave\projects\jpf-symbc\build.xml:133: warning: 'includeantruntime' was not set, defaulting to build.sysclasspath=last; set to false for repeatable builds
Compiling 3 source files to C:\Users\WebWeave\projects\jpf-symbc\build\classes
warning: [options] bootstrap class path not set in conjunction with -source 1.6
1 warning
Created dir: C:\Users\WebWeave\projects\jpf-symbc\build\tests
C:\Users\WebWeave\projects\jpf-symbc\build.xml:144: warning: 'includeantruntime' was not set, defaulting to build.sysclasspath=last; set to false for repeatable builds
Compiling 192 source files to C:\Users\WebWeave\projects\jpf-symbc\build\tests
warning: [options] bootstrap class path not set in conjunction with -source 1.6
1 warning
Created dir: C:\Users\WebWeave\projects\jpf-symbc\build\examples
C:\Users\WebWeave\projects\jpf-symbc\build.xml:156: warning: 'includeantruntime' was not set, defaulting to build.sysclasspath=last; set to false for repeatable builds
Compiling 163 source files to C:\Users\WebWeave\projects\jpf-symbc\build\examples
warning: [options] bootstrap class path not set in conjunction with -source 1.6
Note: Some input files use unchecked or unsafe operations.
Note: Recompile with -Xlint:unchecked for details.
1 warning
compile:
Building jar: C:\Users\WebWeave\projects\jpf-symbc\build\jpf-symbc.jar
Building jar: C:\Users\WebWeave\projects\jpf-symbc\build\jpf-symbc-classes.jar
Building jar: C:\Users\WebWeave\projects\jpf-symbc\build\jpf-symbc-annotations.jar
build:
BUILD SUCCESSFUL (total time: 30 seconds)

Shueh-Cheng Hu

unread,
Jul 11, 2013, 4:34:01 AM7/11/13
to java-pa...@googlegroups.com
Hi, Corina
 
 when I executed "jpf -version" in the directory: jpf-core\bin\
I got the message "JPF version: 1058"
Is this 1058 version exactly the "v6" version you referred to?
 
Since I ran "hg update -v6" after cloning the jpf-core repository,
but still got more than 100 compiling errors when building the "jpf-symbc" with ant later.
(but my jpf-core is working fine)
 
Thanks
 

Corina於 2013年7月9日星期二UTC+8上午3時44分27秒寫道：

Corina Pasareanu

unread,
Jul 17, 2013, 5:58:31 AM7/17/13
to java-pa...@googlegroups.com
Hi:
jpf-symbc should work fine with v6.
maybe you can get fresh copies of both, et-up the site.properties and try again?
please let me know how it works.
thanks
corina

Reply all
Reply to author
Forward
0 new messages