Why is this an issue?

Some tools allow the dist weight operators (:=, :/) to be split instead of a single token.

To keep your code portable, stick to the standard way of writing those operators.

How to fix it

Code examples

Noncompliant code example

class Fly;
  rand int val;
  constraint cst_sum {
    val dist {1 :    = 10, 4 :   / 20};
  }
endclass

Compliant solution

class Fly;
  rand int val;
  constraint cst_sum {
    val dist {1 := 10, 4 :/ 20}:
  }
endclass