It sure is easier. Thanks
Neha
On 1/4/07, Willem Visser <wvisser@...> wrote:
>
> Doing random search is now easier than before. We added randomization at
> the ChoiceGenerator level so all choices can now be randomized, including
> thread choices. Just set cg.randomized_choices = true
>
>
>
> ---------------------------------------------------------------------
> Willem C. Visser Automated Software Engineering Group
> RIACS/NASA Ames Research Center wvisser@...
> M/S 269-2 http://ase.arc.nasa.gov
> Moffett Field, CA 94035 (650)604-3515 fax 4036 rm 243
>
> ------------------------------
>
> *From:* javapathfinder-devel-bounces@... [mailto:
> javapathfinder-devel-bounces@...] *On Behalf Of *Neha
> Rungta
> *Sent:* Thursday, January 04, 2007 12:10 PM
> *To:* JPF
> *Subject:* [Javapathfinder-devel] Scheduler Factory Question
>
>
>
> Is there some equivalent of a RandomOrderScheduler in the types of
> SchedulerFactory to use with the RandomSearch class? The only ones I see are
> DefaultSchedulerFactory and PrioritySchedulerFactory which are both
> deterministic.
>
> Thanks,
>
> Neha
>
> --
> -------------------------------------------------
> Neha Rungta
> Research Assistant
> Verification and Validation
> Brigham Young University
> 801 422 6071
> --------------------------------------------------
>
--
-------------------------------------------------
Neha Rungta
Research Assistant
Verification and Validation
Brigham Young University
801 422 6071
--------------------------------------------------
|